HelenOS sources

boot/arch/ia64/include/arch/ski.h
kernel/arch/ia64/include/arch/drivers/ski.h