Constant WHvX64RegisterR13 

pub const WHvX64RegisterR13: WHV_REGISTER_NAME;