sal.h 35 boot/arch/ia64/src/main.c #include <arch/sal.h> sal.h 29 boot/arch/ia64/src/sal.c #include <arch/sal.h>