Constant windows_sys::Win32::System::Hypervisor::WHvX64RegisterSpecCtrl
pub const WHvX64RegisterSpecCtrl: WHV_REGISTER_NAME = 8324i32;
pub const WHvX64RegisterSpecCtrl: WHV_REGISTER_NAME = 8324i32;