Symbol: WMI_DEVICE_MODULE_NAME
src/add-ons/kernel/drivers/wmi/WMIACPI.cpp
124
status = gDeviceManager->register_node(fNode, WMI_DEVICE_MODULE_NAME,
src/add-ons/kernel/drivers/wmi/WMIDevice.cpp
181
WMI_DEVICE_MODULE_NAME,