Searched refs:menu_get_zipl_boot_index (Results 1 – 3 of 3) sorted by relevance
80 int menu_get_zipl_boot_index(const char *menu_data);
195 int menu_get_zipl_boot_index(const char *menu_data) in menu_get_zipl_boot_index() function
267 return menu_get_zipl_boot_index(s2_cur_blk + banner_offset); in eckd_get_boot_menu_index()