Searched defs:bootcpuid (Results 1 – 4 of 4) sorted by relevance
356 int bootcpuid = getprocessorid(); /* invoked on boot cpu only */ in mach_htraptrace_setup() local
1500 uint_t bootcpuid = 0; in start_other_cpus() local
1334 processorid_t bootcpuid = 0; in fast_reboot() local
205 processorid_t bootcpuid = 0; in mdboot() local