Constant WHvX64RegisterTscAux 

pub const WHvX64RegisterTscAux: WHV_REGISTER_NAME;