pat_type_t 57 kernel/arch/amd64/include/arch/mm/pat.h pat_type_t type) pat_type_t 57 kernel/arch/ia32/include/arch/mm/pat.h pat_type_t type)