pat_type_t 51 kernel/arch/amd64/include/arch/mm/pat.h } pat_type_t; pat_type_t 51 kernel/arch/ia32/include/arch/mm/pat.h } pat_type_t;