Constant WHvX64RegisterR15

pub const WHvX64RegisterR15: WHV_REGISTER_NAME;