That is what I would expect. If you're not seeing that then either the
TLB's not being flushed or your shadows are leaking from one mode to
another.
Doesn't changing paging modes set and update the guest cr3 resulting in
a guest TLB flush? I would like to manually flush them if there is a
way but I'm hopelessly confused about the tlbflush functions in
tlbflush.h. Which one do I call to flush guest TLBs?
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel