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