Lines Matching refs:slot_num
266 mp_wait_for_cpu_up(int slot_num, unsigned int iters, unsigned int usecdelay)
269 if (cpu_datap(slot_num)->cpu_running)
279 intel_startCPU_fast(int slot_num)
286 rc = pmCPUExitHalt(slot_num);
295 slot_num, 0, 0, 0, 0);
308 mp_wait_for_cpu_up(slot_num, 30000, 1);
313 slot_num, cpu_datap(slot_num)->cpu_running, 0, 0, 0);
319 if (cpu_datap(slot_num)->cpu_running)
414 int slot_num)
416 int lapic = cpu_to_lapic[slot_num];
421 DBGLOG_CPU_INIT(slot_num);
423 DBG("intel_startCPU(%d) lapic_id=%d\n", slot_num, lapic);
431 cpu_desc_init64(cpu_datap(slot_num));
433 cpu_desc_init(cpu_datap(slot_num));
439 if (slot_num == get_cpu_number()) {
446 start_info.target_cpu = slot_num;
463 if (!cpu_datap(slot_num)->cpu_running) {
464 kprintf("Failed to start CPU %02d\n", slot_num);
465 printf("Failed to start CPU %02d, rebooting...\n", slot_num);
470 kprintf("Started cpu %d (lapic id %08x)\n", slot_num, lapic);