HelenOS sources

ski_init          224 kernel/arch/ia64/src/drivers/ski.c 	ski_init();
ski_init          252 kernel/arch/ia64/src/drivers/ski.c 	ski_init();
HelenOS homepage, sources at GitHub