HelenOS sources

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>
HelenOS homepage, sources at GitHub