kernel/device_manager/device_manager.cpp

87 			const char*		ModuleName() const { return fModuleName; }
120 			const char*		ModuleName() const { return fModuleName; }
1194 	status_t status = get_module(ModuleName(), (module_info**)&fDeviceModule);
1211 		put_module(ModuleName());
1238 	put_module(ModuleName());
1263 			status_t status = module_get_path(ModuleName(), &path);
1404 	status_t status = get_module(ModuleName(), (module_info**)&fDriver);
1417 			dprintf("driver %s init failed: %s\n", ModuleName(),
1427 		put_module(ModuleName());
1456 	put_module(ModuleName());
2332 		if (!strcmp(child->ModuleName(), moduleName))
2358 		", module %p, data %p)\n", level, this, ModuleName(), fRefCount,
2370 		kprintf("device: %s, %p\n", device->ModuleName(), device->Data());