K 10
svn:author
V 6
marius
K 8
svn:date
V 27
2012-02-08T23:47:22.394406Z
K 7
svn:log
V 135
Merge from r230889:

Mark cpu_{halt,reset}() and hv_mach_{exit,sir}() as __dead2 as appropriate.

This is a direct commit to stable/8.

END