cobalt_machine_halt
cobalt_machine_halt();
_machine_halt = cobalt_machine_halt;
pm_power_off = cobalt_machine_halt;
void cobalt_machine_halt(void);