Constant WHvRegisterReferenceTsc 

pub const WHvRegisterReferenceTsc: WHV_REGISTER_NAME;