pub const WHvX64RegisterR12: WHV_REGISTER_NAME = 12i32;