MPBIOS_polarity  1097 arch/x86/kernel/io_apic_32.c 	return MPBIOS_polarity(idx);
MPBIOS_polarity   739 arch/x86/kernel/io_apic_64.c 	return MPBIOS_polarity(idx);