pal.h 36 boot/arch/ia64/src/main.c #include <arch/pal.h> pal.h 29 boot/arch/ia64/src/pal.c #include <arch/pal.h> pal.h 48 kernel/arch/ia64/src/mm/tlb.c #include <arch/pal/pal.h>