Symbol: pmap_pte_paddr_pae
sys/arch/i386/i386/pmapae.c
801
pmap_pte_paddr_p = pmap_pte_paddr_pae;
sys/arch/i386/include/pmap.h
283
paddr_t pmap_pte_paddr_pae(vaddr_t);