Constant WHvX64RegisterCr2 

pub const WHvX64RegisterCr2: WHV_REGISTER_NAME;