Constant WMDM_DEVICE_TYPE_NONSDMI 

pub const WMDM_DEVICE_TYPE_NONSDMI: u32 = 128u32;