Searched defs:boot_cpu_id (Results 1 - 1 of 1) sorted by relevance

/freebsd-11-stable/sys/x86/x86/
H A Dmp_x86.c82 int boot_cpu_id = -1; /* designated BSP */ variable

Completed in 114 milliseconds