TOSHIBA_WMI_EVENT_GUID
if (wmi_has_guid(TOSHIBA_WMI_EVENT_GUID)) {
if (wmi_has_guid(TOSHIBA_WMI_EVENT_GUID))