xref: /DragonOS/kernel/src/driver/timers/mod.rs (revision 03746da3d9f3ea616cecdb6e581414002075f866)

#[cfg(target_arch = "x86_64")]
pub mod hpet;