static void device_power_up(enum dev_power_saved saved)
{
switch ( saved )
{
case SAVED_ALL:
case SAVED_LAPIC:
lapic_resume();
/* fall through */
case SAVED_IOMMU:
iommu_resume();
/* fall through */
case SAVED_IOAPIC:
ioapic_resume();
/* fall through */
case SAVED_I8259A:
i8259A_resume();
/* fall through */
case SAVED_TIME:
time_resume();
/* fall through */
case SAVED_CONSOLE:
console_resume();
/* fall through */
case SAVED_NONE:
break;
default:
BUG();
break;
}
}
static void device_power_up(void)
{
lapic_resume();
iommu_resume();
ioapic_resume();
i8259A_resume();
time_resume();
console_resume();
}