prom_halt_power_off
void prom_halt_power_off(void) __attribute__ ((noreturn));
prom_halt_power_off();