FUNC_REBOOT 86 drivers/power/reset/vexpress-poweroff.c .data = (void *)FUNC_REBOOT FUNC_REBOOT 133 drivers/power/reset/vexpress-poweroff.c case FUNC_REBOOT: