Constant WHvX64RegisterR9 

pub const WHvX64RegisterR9: WHV_REGISTER_NAME;