xen_leave_lazy   1259 arch/x86/xen/enlighten.c 		.leave = xen_leave_lazy,
xen_leave_lazy   1346 arch/x86/xen/enlighten.c 		.leave = xen_leave_lazy,