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