Constant WHvX64RegisterTsc

pub const WHvX64RegisterTsc: WHV_REGISTER_NAME;