Searched refs:menu_index (Results 1 – 1 of 1) sorted by relevance
2923 int menu_index = 0, menu_slots = 0; in read_nodename_to_kill() local2935 add_pointer_to_array (entry, menu_index, menu, menu_slots, 10, in read_nodename_to_kill()