static int device_power_down(void) { console_suspend(); time_suspend(); i8259A_suspend(); ioapic_suspend(); iommu_suspend(); lapic_suspend(); return 0; }
static int device_power_down(void) { if ( console_suspend() ) return SAVED_NONE; if ( time_suspend() ) return SAVED_CONSOLE; if ( i8259A_suspend() ) return SAVED_TIME; /* ioapic_suspend cannot fail */ ioapic_suspend(); if ( iommu_suspend() ) return SAVED_IOAPIC; if ( lapic_suspend() ) return SAVED_IOMMU; return SAVED_ALL; }