ACPI_ACTIVE_HIGH 1186 arch/x86/kernel/acpi/boot.c 				polarity == ACPI_ACTIVE_HIGH ? 0 : 1);
ACPI_ACTIVE_HIGH 1204 arch/x86/kernel/acpi/boot.c 				(polarity == ACPI_ACTIVE_HIGH ? 1 : 3);