readable          267 kern/arch/mips/vm/dumbvm.c 		 int readable, int writeable, int executable)
readable          281 kern/arch/mips/vm/dumbvm.c 	(void)readable;
readable          104 kern/include/addrspace.h                                    int readable,