Symbol: xen_reboot
arch/arm/xen/enlighten.c
178
void xen_reboot(int reason)
arch/x86/xen/enlighten.c
300
void xen_reboot(int reason)