arch_flush_lazy_cpu_mode 1055 arch/x86/xen/mmu.c 		arch_flush_lazy_cpu_mode();
arch_flush_lazy_cpu_mode 1069 arch/x86/xen/mmu.c 		arch_flush_lazy_cpu_mode();