vmi_leave_lazy    829 arch/x86/kernel/vmi_32.c 	para_wrap(pv_cpu_ops.lazy_mode.leave, vmi_leave_lazy,
vmi_leave_lazy    834 arch/x86/kernel/vmi_32.c 	para_wrap(pv_mmu_ops.lazy_mode.leave, vmi_leave_lazy,