Searched refs:pkg_id_bits (Results 1 - 2 of 2) sorted by relevance

/freebsd-10.1-release/sys/i386/i386/
H A Dmp_machdep.c273 int pkg_id_bits; local
300 pkg_id_bits = core_id_bits + mask_width(max_cores);
307 if ((id >> pkg_id_bits) != (boot_cpu_id >> pkg_id_bits))
/freebsd-10.1-release/sys/amd64/amd64/
H A Dmp_machdep.c233 int pkg_id_bits; local
260 pkg_id_bits = core_id_bits + mask_width(max_cores);
267 if ((id >> pkg_id_bits) != (boot_cpu_id >> pkg_id_bits))

Completed in 116 milliseconds