src/sys/arch/pmax/pmax