COUNTER_FAULTS
return sysfs_emit(buf, "%llu\n", ctx->counters[COUNTER_FAULTS]);
idxd_user_counter_increment(wq, entry_head->pasid, COUNTER_FAULTS);