Symbol: DEFAULT_PTE_MASK
arch/x86/mm/init_32.c
502
pteval_t __supported_pte_mask __read_mostly = DEFAULT_PTE_MASK;
arch/x86/mm/init_32.c
504
pteval_t __default_kernel_pte_mask __read_mostly = DEFAULT_PTE_MASK;