Searched refs:bootcpuid (Results 1 – 4 of 4) sorted by relevance
356 int bootcpuid = getprocessorid(); /* invoked on boot cpu only */ in mach_htraptrace_setup() local358 if (mach_htraptrace_enable && ((cpuid != bootcpuid) || in mach_htraptrace_setup()361 ctlp->d.hvaddr_base = (cpuid == bootcpuid) ? htrap_tr0 : in mach_htraptrace_setup()
205 processorid_t bootcpuid = 0; in mdboot() local218 if (CPU_ACTIVE(cpu_get(bootcpuid))) { in mdboot()219 affinity_set(bootcpuid); in mdboot()
1500 uint_t bootcpuid = 0; in start_other_cpus() local1524 CPUSET_DEL(mp_cpus, bootcpuid); in start_other_cpus()1525 CPUSET_ADD(cpu_ready_set, bootcpuid); in start_other_cpus()1561 ASSERT(who != bootcpuid); in start_other_cpus()
1334 processorid_t bootcpuid = 0; in fast_reboot() local1367 if (panicstr && CPU->cpu_id != bootcpuid && in fast_reboot()1368 CPU_ACTIVE(cpu_get(bootcpuid))) { in fast_reboot()1373 CPUSET_ADD(cpuset, bootcpuid); in fast_reboot()