Constant WHvX64RegisterTsc 

pub const WHvX64RegisterTsc: WHV_REGISTER_NAME;