Constant windows_sys::Win32::System::Hypervisor::WHvX64RegisterVirtualCr3
pub const WHvX64RegisterVirtualCr3: WHV_REGISTER_NAME = 41i32;
pub const WHvX64RegisterVirtualCr3: WHV_REGISTER_NAME = 41i32;