Searched refs:x86_get_cpu_apic_id (Results 1 – 4 of 4) sorted by relevance
108 uint32 x86_get_cpu_apic_id(int32 cpu);
99 uint32 apic_id = x86_get_cpu_apic_id(cpu); in msi_assign_interrupt_to_cpu()
83 x86_get_cpu_apic_id(int32 cpu) in x86_get_cpu_apic_id() function
257 uint32 apicid = x86_get_cpu_apic_id(cpu); in ioapic_assign_interrupt_to_cpu()756 uint8 targetAPIC = x86_get_cpu_apic_id(0); in ioapic_init()