ostd::arch::tdx_guest

Constant SHARED_MASK

Source 
const SHARED_MASK: u64 = _; // 2_251_799_813_685_248u64