K 10
svn:author
V 4
mmel
K 8
svn:date
V 27
2016-01-31T08:06:22.380092Z
K 7
svn:log
V 177
ARM: Next round of cleanup in swtch-v*.S.
 - remove now useless #if __ARM_ARCH conditional
 - use macro for accessing CP15 registers
 - remove unused PCPU_SIZE

Pointed by: kib

END