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);