return domain_has_xen(current->domain, XEN__TMEM_CONTROL);
case XEN_SYSCTL_get_cpu_levelling_caps:
- return domain_has_xen(current->domain, XEN2__GET_CPU_LEVELLING_CAPS);
+ return avc_current_has_perm(SECINITSID_XEN, SECCLASS_XEN2,
+ XEN2__GET_CPU_LEVELLING_CAPS);
case XEN_SYSCTL_get_cpu_featureset:
- return domain_has_xen(current->domain, XEN2__GET_CPU_FEATURESET);
+ return avc_current_has_perm(SECINITSID_XEN, SECCLASS_XEN2,
+ XEN2__GET_CPU_FEATURESET);
case XEN_SYSCTL_livepatch_op:
return avc_current_has_perm(SECINITSID_XEN, SECCLASS_XEN2,