K 10
svn:author
V 6
adrian
K 8
svn:date
V 27
2014-02-14T23:19:51.252484Z
K 7
svn:log
V 89
Include the CPU id in the per-CPU timer swi thread descriptions.

Original patch by:	jhb

END