diff options
| -rw-r--r-- | kern/perfmon.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kern/perfmon.c b/kern/perfmon.c index c910069..788cf14 100644 --- a/kern/perfmon.c +++ b/kern/perfmon.c @@ -357,6 +357,7 @@ perfmon_pmc_put(struct perfmon_pmc *pmc) if (pmc->nr_refs == 0) { pmu_driver.ops.free(pmc->id); + perfmon_pmu.nr_pmcs--; assert(perfmon_pmc_id_to_index[pmc->id] != UINT32_MAX); perfmon_pmc_id_to_index[pmc->id] = UINT32_MAX; } |