NetBSD/sys/arch/pmax/include/pcb.h