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

pub mod acpi_pm;