dec_machine_power_off
pm_power_off = dec_machine_power_off;
void __noreturn dec_machine_power_off(void);