Constant WHvX64RegisterTscAdjust 

pub const WHvX64RegisterTscAdjust: WHV_REGISTER_NAME;