HelenOS sources

set_environment    51 kernel/arch/ia64/src/mm/page.c static void set_environment(void);
set_environment    58 kernel/arch/ia64/src/mm/page.c 	set_environment();
HelenOS homepage, sources at GitHub