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

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

pub mod acpi_pm;