jruoho f7b06c8780 Move nmi(9) to the correct category.		2010-08-21 10:32:35 +00:00
..
Makefile	…
bios32_service.9	…
bioscall.9	…
return_address.9	…
splraise.9	…