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

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