Symbol: va2pfn_dcmd
usr/src/cmd/mdb/i86pc/modules/unix/i86mmu.h
50
extern int va2pfn_dcmd(uintptr_t addr, uint_t flags, int argc,
usr/src/cmd/mdb/i86pc/modules/unix/unix.c
1006
va2pfn_dcmd },