__set_pmd_pte     447 arch/x86/mm/pageattr.c 		__set_pmd_pte(kpte, address, new_pte);
__set_pmd_pte     523 arch/x86/mm/pageattr.c 	__set_pmd_pte(kpte, address, mk_pte(base, ref_prot));