MPBIOS_trigger   1102 arch/x86/kernel/io_apic_32.c 	return MPBIOS_trigger(idx);
MPBIOS_trigger    744 arch/x86/kernel/io_apic_64.c 	return MPBIOS_trigger(idx);