Symbol: get_generator
src/system/kernel/device_manager/id_generator.cpp
186
id_generator* generator = get_generator(name);
src/system/kernel/device_manager/id_generator.cpp
214
id_generator* generator = get_generator(name);