Symbol: pmap_extract_86
sys/arch/i386/i386/pmap.c
2868
pmap_extract_86;
sys/arch/i386/include/pmap.h
319
int pmap_extract_86(pmap_t, vaddr_t, paddr_t *);