par_check_s1_perm_fault
!par_check_s1_perm_fault(par) &&
if ((par & SYS_PAR_EL1_F) && !par_check_s1_perm_fault(par)) {