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

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