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