Constant WHvX64RegisterR12 

pub const WHvX64RegisterR12: WHV_REGISTER_NAME;