Symbol: ACPI_MADT_LOCAL_APIC_NMI
headers/private/kernel/acpi.h
64
ACPI_MADT_LOCAL_APIC_NMI = 4,
src/add-ons/kernel/bus_managers/acpi/acpica/include/actbl2.h
1539
} ACPI_MADT_LOCAL_APIC_NMI;
src/add-ons/kernel/drivers/timer/arch_acpi.h
61
ACPI_MADT_LOCAL_APIC_NMI = 4,