Symbol: ioapic_abi_gsi_cpuid
sys/platform/pc64/apic/ioapic_abi.c
522
static int ioapic_abi_gsi_cpuid(int, int);
sys/platform/pc64/apic/ioapic_abi.c
842
cpuid = ioapic_abi_gsi_cpuid(irq, gsi);