Constant XSTATE_PASID 

pub const XSTATE_PASID: u32 = 10u32;