src/sys/arch/pmax/tc