apple_wdog_reboot_system
EVENTHANDLER_REGISTER(shutdown_final, apple_wdog_reboot_system, sc,
static void apple_wdog_reboot_system(void *, int);