Constant ERROR_WMI_GUID_DISCONNECTED 

pub const ERROR_WMI_GUID_DISCONNECTED: u32 = 4207;