ACPI_MADT_POLARITY_ACTIVE_HIGH 180 arch/ia64/kernel/acpi.c ACPI_MADT_POLARITY_ACTIVE_HIGH) ? ACPI_MADT_POLARITY_ACTIVE_HIGH 1724 arch/x86/kernel/acpi/boot.c acpi_sci_flags = ACPI_MADT_POLARITY_ACTIVE_HIGH |