pub const TCG_PHYS_ADDR_BITS: u32 = 40;