K 10
svn:author
V 6
tuexen
K 8
svn:date
V 27
2014-06-17T21:48:04.834452Z
K 7
svn:log
V 123
Different versions of the ARM processor use different registers.
Fix the code used on a Raspberry Pi.

Reviewed by: markm@

END