Constant WHvX64RegisterTscAux

pub const WHvX64RegisterTscAux: WHV_REGISTER_NAME;