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();