perry 970ad9314d Remove __attribute__((__noreturn__)) from things already marked __dead ... Found by the department of redundancy department.		2007-12-24 15:46:45 +00:00
..
bootxx	…
fixcoff	…
ofwboot	Remove __attribute__((__noreturn__)) from things already marked __dead	2007-12-24 15:46:45 +00:00
Makefile	…
Makefile.inc	…