Constant WHvX64RegisterCr3

pub const WHvX64RegisterCr3: WHV_REGISTER_NAME;