Constant TPM_DEVICE_MMIO_REGION_BASE_ADDRESS

pub const TPM_DEVICE_MMIO_REGION_BASE_ADDRESS: u64 = 0xfed40000;