Symbol: mdb_shell_source_discard
usr/src/cmd/mdb/common/mdb/mdb.c
1047
mdb_shell_source_discard();
usr/src/cmd/mdb/common/mdb/mdb.c
709
mdb_shell_source_discard();
usr/src/cmd/mdb/common/mdb/mdb_shell.h
49
extern void mdb_shell_source_discard(void);