leave_lazy        235 arch/x86/kernel/paravirt.c 	leave_lazy(PARAVIRT_LAZY_MMU);
leave_lazy        266 arch/x86/kernel/paravirt.c 	leave_lazy(PARAVIRT_LAZY_CPU);