Lines Matching refs:boot_current
98 UINT16 boot_current; variable
409 printf("Ignoring Boot%04x: Only one DP found\n", boot_current); in match_boot_info()
413 printf("Ignoring Boot%04x: No Media Path\n", boot_current); in match_boot_info()
423 printf("Ignoring Boot%04x: Device Path not found\n", boot_current); in match_boot_info()
428 printf("Ignoring Boot%04x: sanity check failed\n", boot_current); in match_boot_info()
443 printf("Using Boot%04x for root partition\n", boot_current); in match_boot_info()
449 printf("Not using Boot%04x: can't decode kernel\n", boot_current); in match_boot_info()
456 printf("Not using Boot%04x: can't find %s\n", boot_current, in match_boot_info()
464 printf("Using Boot%04x %S + %s\n", boot_current, text, in match_boot_info()
1079 boot_current = 0; in main()
1080 sz = sizeof(boot_current); in main()
1081 rv = efi_global_getenv("BootCurrent", &boot_current, &sz); in main()
1083 printf(" BootCurrent: %04x\n", boot_current); in main()
1085 boot_current = 0xffff; in main()
1095 boot_order[i] == boot_current ? "[*]" : ""); in main()
1097 is_last = boot_order[(sz / sizeof(boot_order[0])) - 1] == boot_current; in main()
1106 boot_order[0] = boot_current; in main()
1118 snprintf(buf, sizeof(buf), "Boot%04X", boot_current); in main()