Constant WHvX64RegisterRip 

pub const WHvX64RegisterRip: WHV_REGISTER_NAME;