Constant VBG_IOCTL_WRITE_CORE_DUMP

pub const VBG_IOCTL_WRITE_CORE_DUMP: u32 = 3223082515;