CONFIG_HIGHPTE     92 arch/arm/include/asm/pgalloc.h #ifdef CONFIG_HIGHPTE
CONFIG_HIGHPTE    196 arch/arm/include/asm/pgtable.h #ifndef CONFIG_HIGHPTE
CONFIG_HIGHPTE     48 arch/x86/include/asm/pgtable_32.h #if defined(CONFIG_HIGHPTE)
CONFIG_HIGHPTE     16 arch/x86/mm/pgtable.c #ifdef CONFIG_HIGHPTE