K 10 svn:author V 6 andrew K 8 svn:date V 27 2015-05-11T12:44:02.358492Z K 7 svn:log V 74 cpu-v6.h should only be used in the kernel, add an error to enforce this. END