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@lists.xensource.com http://lists.xensource.com/xen-devel