Symbol: _PAGE_KERNEL_4K
arch/x86/mm/pat/set_memory.c
1274
if (pte_flags(first) & _PAGE_KERNEL_4K)
arch/x86/mm/pat/set_memory.c
2362
__pgprot(_PAGE_KERNEL_4K),