static void harmony_power_off(void)
{
reg_off("vdd_sm2");
reg_off("vdd_core");
reg_off("vdd_cpu");
local_irq_disable();
while (1) {
dsb();
__asm__ ("wfi");
}
}
static void shuttle_power_off(void)
{
/* Power down through NvEC */
nvec_poweroff();
/* Then try by powering off supplies */
reg_off("vdd_sm2");
reg_off("vdd_core");
reg_off("vdd_cpu");
reg_off("vdd_soc");
local_irq_disable();
while (1) {
dsb();
__asm__ ("wfi");
}
}
