Constant WMDM_DEVICE_TYPE_NONREENTRANT 

pub const WMDM_DEVICE_TYPE_NONREENTRANT: u32 = 256u32;