WMI_WMMX_GUID
status = wmi_evaluate_method(WMI_WMMX_GUID, 0, 0, &args, &retn);
if (!wmi_has_guid(WMI_WMMX_GUID)) {