Searched refs:lapic_safe_apicid (Results 1 – 3 of 3) sorted by relevance
287 lapic_safe_apicid(void) in lapic_safe_apicid() function442 lapic_cpu_map(lapic_safe_apicid(), 0); in lapic_init()501 lapic_safe_apicid(), in lapic_dump()
250 extern uint32_t lapic_safe_apicid(void);
807 cpu = lapic_to_cpu[lapic_safe_apicid()]; in vstart()