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)