void system_wdt_start(void)
start the initialized system watchdog timer
void system_wdt_init(void)
initialize system watchdog timer and start it
uint64_t system_get_time_64(void)
Time since boot in us (64bit version)
void system_wdt_feed(void)
reset the system watchdog timer
void system_wdt_stop(void)
start the running system watchdog timer
Implementation of required system calls for ESP SoCs.