/isa_machdep.c/1.11/Fri Jan 12 17:55:59 2001//
/plumisa_machdep.c/1.1/Sun Nov 21 06:46:02 1999//
D
