x86defs::tdx

Constant TDX_SHARED_GPA_BOUNDARY_ADDRESS_BIT

Source 
pub const TDX_SHARED_GPA_BOUNDARY_ADDRESS_BIT: u64 = _; // 140_737_488_355_328u64