Constant WMDM_DEVICE_TYPE_FILELISTRESYNC 

pub const WMDM_DEVICE_TYPE_FILELISTRESYNC: u32 = 512u32;