xen_reboot       1366 arch/x86/xen/enlighten.c 	xen_reboot(SHUTDOWN_reboot);
xen_reboot       1371 arch/x86/xen/enlighten.c 	xen_reboot(SHUTDOWN_reboot);
xen_reboot       1376 arch/x86/xen/enlighten.c 	xen_reboot(SHUTDOWN_poweroff);
xen_reboot       1381 arch/x86/xen/enlighten.c 	xen_reboot(SHUTDOWN_crash);