pub fn counter_frequency() -> u64
Reads the frequency advertised by CNTFRQ_EL0, in Hz. Platform calibration and validation of this value remain with the caller.