num_ids - Haiku

Symbol: num_ids

src/system/kernel/device_manager/id_generator.cpp

generator->num_ids++;

src/system/kernel/device_manager/id_generator.cpp

if (generator->num_ids == 0) {

src/system/kernel/device_manager/id_generator.cpp

generator->num_ids--;

src/system/kernel/device_manager/id_generator.cpp

uint32 num_ids;