SHUTDOWN_reboot  1366 arch/x86/xen/enlighten.c 	xen_reboot(SHUTDOWN_reboot);
SHUTDOWN_reboot  1371 arch/x86/xen/enlighten.c 	xen_reboot(SHUTDOWN_reboot);