Searched refs:_get_grub_index (Results 1 – 1 of 1) sorted by relevance
1993 sub _get_grub_index { subroutine2069 _get_grub_index($command, $target, $skip, $submenu);