pat_supported 120 kernel/arch/amd64/src/amd64.c if (pat_supported()) pat_supported 110 kernel/arch/ia32/src/ia32.c if (pat_supported())