Constant WHvX64RegisterRsp 

pub const WHvX64RegisterRsp: WHV_REGISTER_NAME;