Constant BATTERY_MMIO_REGION_BASE_ADDRESS_X64 

pub const BATTERY_MMIO_REGION_BASE_ADDRESS_X64: u64 = 0xfed3f000;