sato eb2da98d92 #include <sys/reboot.h> would probably suffice for those.		2000-09-25 09:03:32 +00:00
..
isa_machdep.c	#include <sys/reboot.h> would probably suffice for those.	2000-09-25 09:03:32 +00:00
plumisa_machdep.c	…