xref: /DragonOS/kernel/src/driver/clocksource/mod.rs (revision 471d65cf158c9bf741c21f5d0ab92efe7bf1c3d4)

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