Blame lazythoughts for this:

( How to read the Timestamp Counter register in C, and other handy assembly snippets for multicore programming: )

And to all the non-geeks out there ... sorry. :-)