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