Constant WHvX64RegisterVirtualCr3

pub const WHvX64RegisterVirtualCr3: WHV_REGISTER_NAME;