|
|
|
|
|
|
|
|
|
|
xen-ia64-devel
[Xen-ia64-devel] vcpu_set_tr_entry: which pte is correct ?
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
|
<Prev in Thread] |
Current Thread |
[Next in Thread> |
- [Xen-ia64-devel] vcpu_set_tr_entry: which pte is correct ?,
Tristan Gingold <=
|
|
|
|
|