ostd::arch::tdx_guest

Constant SHARED_BIT

Source 
const SHARED_BIT: u8 = 51;