|   | 
      | 
  
  
      | 
      | 
  
 
     | 
    | 
  
  
     | 
    | 
  
  
    |   | 
      | 
  
  
    | 
         
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 <=
 
 
 |  
  
 | 
    | 
  
  
    |   | 
    |