void power_off(void) { imx233_system_prepare_shutdown(); /* power down */ HW_POWER_RESET = BF_OR(POWER_RESET, UNLOCK_V(KEY), PWD(1)); while(1); }
void system_reboot(void) { imx233_system_prepare_shutdown(); /* reset */ imx233_chip_reset(); while(1); }