Symbol: pmap_pte_set_86
sys/arch/i386/i386/pmap.c
2856
pmap_pte_set_86;
sys/arch/i386/i386/pmapae.c
693
pmap_pte_set_86((vaddr_t)vtopte(va),
sys/arch/i386/include/pmap.h
312
u_int32_t pmap_pte_set_86(vaddr_t, paddr_t, u_int32_t);