Constant WHvX64RegisterR11 

pub const WHvX64RegisterR11: WHV_REGISTER_NAME;