machine_halt
void machine_halt(void);
__weak_alias(machine_halt,machine_halt_default);
machine_halt();