xen_reboot        174 arch/arm/xen/enlighten.c void xen_reboot(int reason)
xen_reboot        260 arch/x86/xen/enlighten.c void xen_reboot(int reason)