Constant windows_sys::Win32::System::Hypervisor::WHvX64RegisterTsxCtrl
pub const WHvX64RegisterTsxCtrl: WHV_REGISTER_NAME = 8328i32;
pub const WHvX64RegisterTsxCtrl: WHV_REGISTER_NAME = 8328i32;