Constant BATTERY_MMIO_REGION_BASE_ADDRESS_ARM 

pub const BATTERY_MMIO_REGION_BASE_ADDRESS_ARM: u64 = 0xEFFEA000;