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