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