Constant WMDM_DEVICE_TYPE_RECORD 

pub const WMDM_DEVICE_TYPE_RECORD: u32 = 2u32;