acpi_print_intr
acpi_print_intr(over->GlobalIrq, over->IntiFlags);
acpi_print_intr(nmi->GlobalIrq, nmi->IntiFlags);
acpi_print_intr(isrc->GlobalIrq, isrc->IntiFlags);
static void acpi_print_intr(uint32_t intr, uint16_t mps_flags);