Узнать тип процессора под FreeBSD можно так:
#dmesg | grep -w CPU:
или так:
#sysctl -a | grep machdep.tsc_freq:
Если заглянуть в /usr/src/sys/i386/i386/identcpu.c, то можно заметить, что значение частоты в dmesg.boot вычисляется так:
printf(”%d.%02d-MHz “,
(tsc_freq + 4999) / 1000000,
((tsc_freq + 4999) / 10000) % 100);