pmap_pte_set_pae  816 arch/i386/i386/pmapae.c 			pmap_pte_set_pae(va, pmap_pte_paddr_86(va), bits);
pmap_pte_set_pae  836 arch/i386/i386/pmapae.c 		pmap_pte_set_p = pmap_pte_set_pae;