SYSTEM_HALT       307 kernel/sys.c   		(state == SYSTEM_HALT)?SYS_HALT:SYS_POWER_OFF, NULL);
SYSTEM_HALT       318 kernel/sys.c   	kernel_shutdown_prepare(SYSTEM_HALT);