The function __flush_tlb_msk() (in arch/x86/smp.c) is flushing the local TLB, completely ignoring the virtual address being specified. I am attaching a trivial patch to fix this. signed off by: K. Y. Srinivasan <ksrinivasan@novell.com> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xensource.com http://lists.xensource.com/xen-devel