path: root/fw/fe310/eos/dev/pwr.h

void eos_pwr_sys_sleep(void);