Constant WHvX64RegisterR13

pub const WHvX64RegisterR13: WHV_REGISTER_NAME;