as_define_region  102 kern/include/addrspace.h int               as_define_region(struct addrspace *as, 
as_define_region  246 kern/syscall/loadelf.c 		result = as_define_region(as,