Searched refs:apic_local_id (Results 1 - 5 of 5) sorted by relevance

/fuchsia/zircon/kernel/arch/x86/
H A Darch.cpp115 DEBUG_ASSERT(apic_local_id() == x86_get_percpu()->apic_id);
174 uint32_t local_apic_id = apic_local_id();
H A Dlapic.cpp163 uint8_t id = apic_local_id();
179 uint8_t apic_local_id(void) { function
504 printf("apic %02x:\n", apic_local_id());
H A Dmp.cpp74 uint32_t bootstrap_ap = apic_local_id();
/fuchsia/zircon/kernel/arch/x86/include/arch/x86/
H A Dapic.h53 uint8_t apic_local_id(void);
/fuchsia/zircon/kernel/platform/pc/
H A Dplatform.cpp829 uint32_t bsp_apic_id = apic_local_id();

Completed in 36 milliseconds