Constant WMI_REGINFO 

pub const WMI_REGINFO: WMIDPREQUESTCODE;