Searched refs:menu_data (Results 1 – 2 of 2) sorted by relevance
195 int menu_get_zipl_boot_index(const char *menu_data) in menu_get_zipl_boot_index() argument200 uint16_t zipl_flag = *(uint16_t *)(menu_data - ZIPL_FLAG_OFFSET); in menu_get_zipl_boot_index()201 uint16_t zipl_timeout = *(uint16_t *)(menu_data - ZIPL_TIMEOUT_OFFSET); in menu_get_zipl_boot_index()213 menu_data += strlen(menu_data) + 1; in menu_get_zipl_boot_index()216 while (*menu_data) { in menu_get_zipl_boot_index()217 len = strlen(menu_data); in menu_get_zipl_boot_index()218 entry = zipl_print_entry(menu_data, len); in menu_get_zipl_boot_index()219 menu_data += len + 1; in menu_get_zipl_boot_index()
80 int menu_get_zipl_boot_index(const char *menu_data);