K 10
svn:author
V 6
marius
K 8
svn:date
V 27
2012-02-01T21:15:27.357757Z
K 7
svn:log
V 65
MFC: r230628

Mark cpu_{halt,reset}() as __dead2 as appropriate.

END