void system_reset(void) { ool_write32(PMU_REG_WTD_LEN_0, 1 ); //1us ool_write(PMU_REG_WTD_CTRL, ool_read(PMU_REG_WTD_CTRL) | PMU_WTD_EN ); }