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

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