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