Constant WHvX64RegisterCr3 

pub const WHvX64RegisterCr3: WHV_REGISTER_NAME;