Constant XSTATE_MASK_PASID 

pub const XSTATE_MASK_PASID: u32 = 1024;