ERROR_WMI_GUID_NOT_FOUND

Constant ERROR_WMI_GUID_NOT_FOUND 

Source
pub const ERROR_WMI_GUID_NOT_FOUND: DWORD = 4200;