Getting TSC rate from x86 kernel

BPFtrace As root, you can retrieve the kernel's TSC rate with bpftrace: # bpftrace -e 'BEGIN { printf("%u\n", *kaddr("tsc_khz")); exit(); }' 2>/dev/null | grep '^[1-9]' (tested it on CentOS 7 and Fedora 37) That is the value that is defined, exported and maintained/calibrated in arch/x86/kernel/tsc.c. Drgn Another way is to use drgn - a Python-programmable debugger: # python -c 'import drgn; p=drg