Searched refs:cat_help_file (Results 1 – 3 of 3) sorted by relevance
40 extern void cat_help_file(int key);
265 cmdline = edit_cmdline("boot:", 1, NULL, cat_help_file, &to); in enter_cmdline()
678 void cat_help_file(int key) in cat_help_file() function