Symbol: pmap_pte_bits_pae
sys/arch/i386/i386/pmapae.c
800
pmap_pte_bits_p = pmap_pte_bits_pae;
sys/arch/i386/include/pmap.h
282
u_int32_t pmap_pte_bits_pae(vaddr_t);