pub const WHvX64RegisterR10: WHV_REGISTER_NAME = 10i32;