PPR_FLAGS
event.fault.prm.perm = ppr_flag_to_fault_perm(PPR_FLAGS(raw[0]));
if (!(PPR_FLAGS(raw[0]) & PPR_FLAG_GN)) {
PPR_PASID(raw[0]), raw[1], PPR_FLAGS(raw[0]), PPR_TAG(raw[0]));
if (PPR_FLAGS(raw[0]) & PPR_FLAG_RVSD) {
PPR_PASID(raw[0]), raw[1], PPR_FLAGS(raw[0]), PPR_TAG(raw[0]));