xref: /DragonOS/kernel/src/driver/timers/mod.rs (revision 2b7818e80e00fcfe4d03533f587cc125ea5e4bec)
1 #[cfg(target_arch = "x86_64")]
2 pub mod hpet;
3