ACPI_EC_DEVICE_NAME
return gDeviceManager->publish_device(node, name, ACPI_EC_DEVICE_NAME);
ACPI_EC_DEVICE_NAME,
