Constant WHvRegisterReferenceTscSequence 

pub const WHvRegisterReferenceTscSequence: WHV_REGISTER_NAME;