K 10
svn:author
V 6
marius
K 8
svn:date
V 27
2012-01-27T22:04:43.198691Z
K 7
svn:log
V 51
Mark cpu_{halt,reset}() as __dead2 as appropriate.

END