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