skiin_init 48 kernel/arch/ia64/include/arch/drivers/ski.h extern ski_instance_t *skiin_init(void); skiin_init 161 kernel/arch/ia64/src/ia64.c ski_instance_t *ski_instance = skiin_init();