as_activate        98 kern/include/addrspace.h void              as_activate(void);
as_activate        80 kern/syscall/runprogram.c 	as_activate();
as_activate       712 kern/thread/thread.c 	as_activate();
as_activate       745 kern/thread/thread.c 	as_activate();