Constant WHvX64RegisterR12

pub const WHvX64RegisterR12: WHV_REGISTER_NAME;