Constant TDX_SHARED_GPA_BOUNDARY_BITS 

const TDX_SHARED_GPA_BOUNDARY_BITS: u8 = 47;