The timestamp counter is 64 bits, which is large enough to
make overflow unlikely in normal usage models. However, if the counter
does overflow, then it wraps around to zero, and a force synchronization
event is issued through the timestamp interconnect.