Searched refs:cmd_intrflush (Results 1 – 3 of 3) sorted by relevance
181 void cmd_intrflush(int, char **);
180 {"intrflush", cmd_intrflush},
1796 cmd_intrflush(int nargs, char **args) in cmd_intrflush() function