Constant WHvX64RegisterR14 

pub const WHvX64RegisterR14: WHV_REGISTER_NAME;