Constant WHvX64RegisterVirtualCr3 

pub const WHvX64RegisterVirtualCr3: WHV_REGISTER_NAME;