Constant WHvX64RegisterR15 

pub const WHvX64RegisterR15: WHV_REGISTER_NAME;