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