root/sys/arch/shark/include/pmap.h 
/*      $NetBSD: pmap.h,v 1.1 2002/02/10 01:57:35 thorpej Exp $ */

#include <arm/arm32/pmap.h>