Symbol: acpi_OverrideInterruptLevel
sys/dev/acpica/acpivar.h
394
ACPI_STATUS acpi_OverrideInterruptLevel(UINT32 InterruptNumber);
sys/x86/acpica/madt.c
639
acpi_OverrideInterruptLevel(intr->GlobalIrq);