Constant ARCH_REQ_XCOMP_GUEST_PERM 

pub const ARCH_REQ_XCOMP_GUEST_PERM: u32 = 4133;