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