Symbol: ptable_dcmd
usr/src/cmd/mdb/i86pc/modules/unix/i86mmu.h
44
extern int ptable_dcmd(uintptr_t addr, uint_t flags, int argc,
usr/src/cmd/mdb/i86pc/modules/unix/unix.c
1013
ptable_dcmd, ptable_help },