Constant WHvX64RegisterTsxCtrl 

pub const WHvX64RegisterTsxCtrl: WHV_REGISTER_NAME;