bcm63xx_machine_halt
_machine_halt = bcm63xx_machine_halt;
pm_power_off = bcm63xx_machine_halt;
void bcm63xx_machine_halt(void);