lguest_leave_lazy_mode 1007 arch/x86/lguest/boot.c 	pv_cpu_ops.lazy_mode.leave = lguest_leave_lazy_mode;
lguest_leave_lazy_mode 1020 arch/x86/lguest/boot.c 	pv_mmu_ops.lazy_mode.leave = lguest_leave_lazy_mode;