|
|
 |
|
|
|
|
|
|
|
xen-devel
Looking at the do_mmuext_op(), it looks like we are not handling shadow mode
uniformly :
For instance, for MMUEXT_INVLPG_LOCAL case, we deal with the case where the
domain may be operating under shadow mode; however, for other flush options we
don't deal with the case where the domain may be operating in shadow mode. What
is the rationale for this?
Regards,
K. Y
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel
|
<Prev in Thread] |
Current Thread |
[Next in Thread>
|
- [Xen-devel] TLB flushing,
Ky Srinivasan <=
|
|
|
|
|