Constant x86defs::tdx::TDX_SHARED_GPA_BOUNDARY_ADDRESS_BIT
source ยท pub const TDX_SHARED_GPA_BOUNDARY_ADDRESS_BIT: u64 = _; // 140_737_488_355_328u64
pub const TDX_SHARED_GPA_BOUNDARY_ADDRESS_BIT: u64 = _; // 140_737_488_355_328u64