/* $NetBSD: pcb.h,v 1.5 2001/02/23 21:23:51 reinoud Exp $ */

#include <arm/arm32/pcb.h>