[][src]Constant CCODE::ERROR_WMI_GUID_DISCONNECTED

pub const ERROR_WMI_GUID_DISCONNECTED: u32 = 4207;