xref: /DragonOS/kernel/src/driver/clocksource/mod.rs (revision fbd63a301c5648f906eeb802f10ac03518ba1264)

#[cfg(target_arch = "riscv64")]
pub mod timer_riscv;