vhpt.h 41 kernel/arch/ia64/src/mm/page.c #include <arch/mm/vhpt.h> vhpt.h 45 kernel/arch/ia64/src/mm/tlb.c #include <arch/mm/vhpt.h> vhpt.h 37 kernel/arch/ia64/src/mm/vhpt.c #include <arch/mm/vhpt.h>