Constant x86defs::tdx::TDX_SHARED_GPA_BOUNDARY_BITS

source ยท
pub const TDX_SHARED_GPA_BOUNDARY_BITS: u8 = 47;