NetBSD/sys/arch/shark/include/pmap.h