Constant DBGKD_VERS_FLAG_PTR64 

pub const DBGKD_VERS_FLAG_PTR64: u32 = 4u32;