Symbol: WMI_ACPI_DRIVER_NAME
src/add-ons/kernel/drivers/wmi/WMIACPI.cpp
419
return gDeviceManager->register_node(node, WMI_ACPI_DRIVER_NAME, attrs,
src/add-ons/kernel/drivers/wmi/WMIACPI.cpp
466
WMI_ACPI_DRIVER_NAME,