Lines Matching defs:slot_num
204 mp_wait_for_cpu_up(int slot_num, unsigned int iters, unsigned int usecdelay)
207 if (cpu_datap(slot_num)->cpu_running)
254 int slot_num)
256 int lapic = cpu_to_lapic[slot_num];
261 DBGLOG_CPU_INIT(slot_num);
263 DBG("intel_startCPU(%d) lapic_id=%d\n", slot_num, lapic);
271 cpu_desc_init64(cpu_datap(slot_num), FALSE);
273 cpu_desc_init(cpu_datap(slot_num), FALSE);
279 if (slot_num == get_cpu_number()) {
288 start_info.target_cpu = slot_num;
304 if (!cpu_datap(slot_num)->cpu_running) {
305 kprintf("Failed to start CPU %02d\n", slot_num);
306 printf("Failed to start CPU %02d, rebooting...\n", slot_num);
311 kprintf("Started cpu %d (lapic id %08x)\n", slot_num, lapic);
320 intel_startCPU_fast(int slot_num)
327 rc = pmCPUExitHalt(slot_num);
344 mp_wait_for_cpu_up(slot_num, 30000, 1);
351 if (cpu_datap(slot_num)->cpu_running)