Constant WMDM_RIGHTS_COPY_TO_SDMI_DEVICE 

pub const WMDM_RIGHTS_COPY_TO_SDMI_DEVICE: u32 = 16u32;