Searched refs:mdb_shell_pipe (Results 1 – 4 of 4) sorted by relevance
41 mdb_shell_pipe(char *cmd) in mdb_shell_pipe() function
39 extern void mdb_shell_pipe(char *);
163 mdb_shell_pipe(char *cmd) in mdb_shell_pipe() function
231 | '!' MDB_TOK_STRING { mdb_shell_pipe($2); }