|
|
|
|
|
|
|
|
|
|
xen-devel
[Xen-devel] obsolete mmuext_ops?
I came across MMUEXT_REASSIGN_PAGE today, but grep can't find any in-tree
users. Actually, it seems the same is true for MMUEXT_FLUSH_CACHE.
Should these be removed?
--
Hollis Blanchard
IBM Linux Technology Center
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel
|
<Prev in Thread] |
Current Thread |
[Next in Thread> |
- [Xen-devel] obsolete mmuext_ops?,
Hollis Blanchard <=
|
|
|
|
|