HelenOS sources

as_switch          79 kernel/arch/arm32/src/mm/page.c 	as_switch(NULL, AS_KERNEL);
as_switch          45 kernel/arch/arm64/src/mm/page.c 		as_switch(NULL, AS_KERNEL);
as_switch          63 kernel/arch/arm64/src/mm/page.c 	as_switch(NULL, AS_KERNEL);
as_switch          43 kernel/arch/mips32/src/mm/page.c 	as_switch(NULL, AS_KERNEL);
as_switch          45 kernel/arch/ppc32/src/mm/page.c 	as_switch(NULL, AS_KERNEL);
as_switch         317 kernel/generic/include/mm/as.h extern void as_switch(as_t *, as_t *);
as_switch         202 kernel/generic/src/proc/scheduler.c 		as_switch(old_as, new_as);