033ef338b6e0
1 2 3
void rtas_fw_restart(char *cmd); void rtas_fw_power_off(void); void rtas_fw_halt(void);