Constant WHvX64RegisterTscVirtualOffset 

pub const WHvX64RegisterTscVirtualOffset: WHV_REGISTER_NAME;