Searched refs:lapic (Results 1 – 4 of 4) sorted by relevance
23 lapic.h \
431 int lapic = cpu_to_lapic[slot_num]; in intel_startCPU() local434 assert(lapic != -1); in intel_startCPU()438 DBG("intel_startCPU(%d) lapic_id=%d\n", slot_num, lapic); in intel_startCPU()459 start_info.target_lapic = lapic; in intel_startCPU()482 kprintf("Started cpu %d (lapic id %08x)\n", slot_num, lapic); in intel_startCPU()
271 extern void lapic_cpu_map(int lapic, int cpu_num);
77 osfmk/i386/lapic.c standard