142 	u32 max_mode, cur_mode;  in choose_mode_modenum()  local
151 	max_mode = efi_table_attr(mode, max_mode);  in choose_mode_modenum()
152 	if (cmdline.mode >= max_mode) {  in choose_mode_modenum()
196 	u32 max_mode, cur_mode;  in choose_mode_res()  local
215 	max_mode = efi_table_attr(mode, max_mode);  in choose_mode_res()
217 	for (m = 0; m < max_mode; m++) {  in choose_mode_res()
254 	u32 max_mode, cur_mode, best_mode, area;  in choose_mode_auto()  local
264 	max_mode = efi_table_attr(mode, max_mode);  in choose_mode_auto()
277 	for (m = 0; m < max_mode; m++) {  in choose_mode_auto()
317 	u32 max_mode, cur_mode;  in choose_mode_list()  local
329 	max_mode = efi_table_attr(mode, max_mode);  in choose_mode_list()
331 	efi_printk("Available graphics modes are 0-%u\n", max_mode-1);  in choose_mode_list()
334 	for (m = 0; m < max_mode; m++) {  in choose_mode_list()