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

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