Hi,
I have a question about vcpu_set_tr_entry usage.
vcpu_itr_d/vcpu_itr_i calls it with the metaphysical pte, which IMHO is
correct.
However, vcpu_itc_no_srlz (thus vcpu_itc_d/vcpu_itc_i) calls it with the
machine pte, which IMHO is incorrect.
Comments ?
Tristan.
_______________________________________________
Xen-ia64-devel mailing list
Xen-ia64-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-ia64-devel
|