pat.h 62 kernel/arch/amd64/src/amd64.c #include <arch/mm/pat.h> pat.h 63 kernel/arch/ia32/src/ia32.c #include <arch/mm/pat.h>