xen_restart 183 arch/arm/xen/enlighten.c static void xen_restart(enum reboot_mode reboot_mode, const char *cmd) xen_restart 1069 arch/x86/xen/enlighten_pv.c static void xen_restart(char *msg)