Restore interrupts on x86
@@ -900,20 +900,22 @@ int init_acpi(void)
}
assert(ACPI_SUCCESS(as));
+#if defined(__arm__)
// armv8,psci: check if hvc (EL2 call) should be used instead of smc (EL3 call)
skb_add_fact("psci_use_hvc(%"PRIu8").", !!(AcpiGbl_FADT.ArmBootFlags & ACPI_FADT_PSCI_USE_HVC));
-
+#else
// Put system into APIC mode
- // ACPI_DEBUG("Switching to APIC mode...\n");
- // as = set_apic_mode();
- // if (ACPI_FAILURE(as)) {
- // printf("ACPI: Warning: Could not set system to APIC mode! "
- // "Continuing anyway... status: %s\n", AcpiFormatException(as));
- // skb_add_fact("x86_interrupt_model(pic).");
- // } else {
- // printf("ACPI: Switched to APIC mode.\n");
- // skb_add_fact("x86_interrupt_model(apic).");
- // }
+ ACPI_DEBUG("Switching to APIC mode...\n");
+ as = set_apic_mode();
+ if (ACPI_FAILURE(as)) {
+ printf("ACPI: Warning: Could not set system to APIC mode! "
+ "Continuing anyway... status: %s\n", AcpiFormatException(as));
+ skb_add_fact("x86_interrupt_model(pic).");
+ } else {
+ printf("ACPI: Switched to APIC mode.\n");
+ skb_add_fact("x86_interrupt_model(apic).");
+ }
+#endif
/* look for an MCFG table
* this tells us where the PCI express memory-mapped configuration area is
