Symbol: pmap_pte_setbits_86
sys/arch/i386/i386/pmap.c
2858
pmap_pte_setbits_86;
sys/arch/i386/include/pmap.h
313
u_int32_t pmap_pte_setbits_86(vaddr_t, u_int32_t, u_int32_t);