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