DEFAULT_PTE_MASK  563 arch/x86/mm/init_32.c pteval_t __supported_pte_mask __read_mostly = DEFAULT_PTE_MASK;
DEFAULT_PTE_MASK  565 arch/x86/mm/init_32.c pteval_t __default_kernel_pte_mask __read_mostly = DEFAULT_PTE_MASK;