static void dec_nrctrs(void) { down(&nrctrs_mutex); if (--nrctrs == 0) perfctr_cpu_release(this_service); up(&nrctrs_mutex); }
static void dec_nrctrs(void) { mutex_lock(&nrctrs_mutex); if (--nrctrs == 0) perfctr_cpu_release(this_service); mutex_unlock(&nrctrs_mutex); }