Constant WHvX64RegisterR8 

pub const WHvX64RegisterR8: WHV_REGISTER_NAME;