xen_restart       408 arch/arm/xen/enlighten.c 	arm_pm_restart = xen_restart;
xen_restart      1092 arch/x86/xen/enlighten_pv.c 	.restart = xen_restart,