xref: /DragonOS/kernel/src/driver/clocksource/mod.rs (revision 731bc2b32d7b37298883d7a15b6dca659b436ee4)

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