acpi_wmi_guid_match
int acpi_wmi_guid_match(device_t, const char *);
return acpi_wmi_guid_match(parent, WMI_DELL_GUID_EVENT);
return acpi_wmi_guid_match(parent, WMI_EEEPC_GUID_EVENT);
return acpi_wmi_guid_match(parent, WMI_HP_GUID_METHOD);
if (acpi_wmi_guid_match(parent, WMI_HP_GUID_EVENT) != 0)
return acpi_wmi_guid_match(parent, WMI_MSI_GUID_EVENT);