Как узнать тип процессора в FreeBSD

Узнать тип процессора под 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);