ski_init 224 kernel/arch/ia64/src/drivers/ski.c ski_init(); ski_init 252 kernel/arch/ia64/src/drivers/ski.c ski_init();