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