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