pub const WMDM_DEVICE_TYPE_NONSDMI: u32 = 128u32;