Constant XEN_DOMCTL_set_access_required 

pub const XEN_DOMCTL_set_access_required: u32 = 64;