Not all processors of an SMP complex are started at power-up and
the call to start secodary processors may perform a reset, so I don't
think that one can guarantee that the TB's are synchronized. Maybe it all
just works, but it does not seem like a requirement of any SMP system
design.
David
** Sent via the linuxppc-dev mail list. See http://lists.linuxppc.org/