Searched refs:default_num (Results 1 – 3 of 3) sorted by relevance
1452 char *default_num = NULL; in pxe_menu_to_menu() local1473 default_num = label->num; in pxe_menu_to_menu()1481 if (default_num) { in pxe_menu_to_menu()1482 err = menu_default_set(m, default_num); in pxe_menu_to_menu()
860 int default_num = 0; in aw_get_dde_type_info_v_1_0_0_0() local871 default_num++; in aw_get_dde_type_info_v_1_0_0_0()874 if (!(dev_num || default_num)) { in aw_get_dde_type_info_v_1_0_0_0()881 else if (default_num != 0) in aw_get_dde_type_info_v_1_0_0_0()
875 int default_num = 0; in aw_get_dde_type_info() local885 default_num++; in aw_get_dde_type_info()888 if (!(dev_num || default_num)) { in aw_get_dde_type_info()