Constant MINIPORT_DSM_PROFILE_CRASHDUMP_FILE 

pub const MINIPORT_DSM_PROFILE_CRASHDUMP_FILE: u32 = 3u32;