xref: /DragonOS/kernel/src/driver/clocksource/mod.rs (revision 9fab312ea9921618629924ab15c28c2d255b21c6)
1 #[cfg(target_arch = "riscv64")]
2 pub mod timer_riscv;
3