/cvsroot/syssrc/sys/lib/libkern/arch/ns32k
