clocked speed not showing in dev.cpu.[0-7].freq

[tech-lists]

Hi,

Not sure where to put this. system is amd64/stable/13. It's running
powerd but with no additional flags.

CPU is Intel(R) Core(TM) i7-4770K CPU. Has 32GB RAM

The system is clocked in the bios at 4.251 GHz. I never see this value
in sysctl dev.cpu.[0-7].freq though. Here's the output:

[...]
sysctl dev.cpu.0
dev.cpu.0.cx_method: C1/hlt
dev.cpu.0.cx_usage_counters: 100878534
dev.cpu.0.cx_usage: 100.00% last 185us
dev.cpu.0.cx_lowest: C1
dev.cpu.0.cx_supported: C1/1/0
dev.cpu.0.freq_levels: 3400/84000 3200/77169 3100/73848 2900/67388
2700/61182 2500/55201 2400/52298 2200/46677 2000/41272 1800/36091
1700/34277 1500/29407 1300/24752 1100/20312 1000/18167 800/14031
dev.cpu.0.freq: 3400
dev.cpu.0.temperature: 68.0C
dev.cpu.0.coretemp.throttle_log: 0
dev.cpu.0.coretemp.tjmax: 100.0C
dev.cpu.0.coretemp.resolution: 1
dev.cpu.0.coretemp.delta: 32
dev.cpu.0.%parent: acpi0
dev.cpu.0.%pnpinfo: _HID=none _UID=0 _CID=none
dev.cpu.0.%location: handle=\_PR_.CPU0
dev.cpu.0.%driver: cpu
dev.cpu.0.%desc: ACPI CPU

Here's the cpu string on boot:

CPU: Intel(R) Core(TM) i7-4770K CPU @ 3.50GHz (4251.32-MHz K8-class CPU)

So, is it really clocked? or does the sysctl show what is right?

thanks,
-- 
J.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: not available
URL: <http://lists.freebsd.org/pipermail/freebsd-stable/attachments/20210427/aa5a1a6e/attachment.sig>