src/add-ons/kernel/drivers/nvmm/nvmm.c

228

os_atomic_dec_uint(&mach->ncpus);

src/add-ons/kernel/drivers/nvmm/nvmm.c

318

os_atomic_dec_uint(&mach->ncpus);

src/add-ons/kernel/drivers/nvmm/nvmm.c

460

os_atomic_dec_uint(&mach->ncpus);

src/add-ons/kernel/drivers/nvmm/nvmm.c

91

os_atomic_dec_uint(&nmachines);

src/libs/nvmm/driver/nvmm.c

228

os_atomic_dec_uint(&mach->ncpus);

src/libs/nvmm/driver/nvmm.c

318

os_atomic_dec_uint(&mach->ncpus);

src/libs/nvmm/driver/nvmm.c

460

os_atomic_dec_uint(&mach->ncpus);

src/libs/nvmm/driver/nvmm.c

91

os_atomic_dec_uint(&nmachines);