Constant WMDM_DEVICE_TYPE_SDMI 

pub const WMDM_DEVICE_TYPE_SDMI: u32 = 64u32;