//! Power-management related device drivers

#[cfg(any(target_arch = "aarch64", rust_analyzer))]
pub mod arm_psci;