xref: /DragonOS/kernel/src/driver/clocksource/mod.rs (revision 7401bec5e3c42015399a46e29c370abe7c7388b5)

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

pub mod acpi_pm;