is_executable      82 kern/syscall/loadelf.c 	     int is_executable)
is_executable     102 kern/syscall/loadelf.c 	u.uio_segflg = is_executable ? UIO_USERISPACE : UIO_USERSPACE;