Constant WHvX64RegisterTsxCtrl

pub const WHvX64RegisterTsxCtrl: WHV_REGISTER_NAME;