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