xstate_get_group_perm
permitted = xstate_get_group_perm(guest);
permitted = xstate_get_group_perm(guest);
if ((xstate_get_group_perm(!!guest_fpu) & xfd_event) != xfd_event) {
return xstate_get_group_perm(true);
return xstate_get_group_perm(false);