Constant ERROR_WMI_ALREADY_DISABLED 

pub const ERROR_WMI_ALREADY_DISABLED: u32 = 4212;