pub mod region; pub mod tsc; pub fn init() { tsc::calibrate(); crate::kprintln!(" TSC frequency: {} MHz", tsc::freq_hz() / 1_000_000); }