fn tsc_to_ms(ticks: u64) -> u64
Convert TSC ticks to approximate milliseconds (assumes ~3GHz TSC). For exact calibration, use the kernel’s TSC frequency if available.