Searched refs:boot_current (Results 1 – 2 of 2) sorted by relevance
| /freebsd/stand/efi/boot1/ |
| H A D | proto.c | 156 UINT16 boot_current; in choice_protocol() local
168 boot_current = 0; in choice_protocol()
169 sz = sizeof(boot_current); in choice_protocol()
170 if (efi_global_getenv("BootCurrent", &boot_current, &sz) == EFI_SUCCESS) { in choice_protocol()
171 printf(" BootCurrent: %04x\n", boot_current); in choice_protocol()
178 boot_order[i] == boot_current ? "[*]" : ""); in choice_protocol()
|
| /freebsd/stand/efi/loader/ |
| H A D | main.c | 106 UINT16 boot_current; variable
417 printf("Ignoring Boot%04x: Only one DP found\n", boot_current); in match_boot_info()
421 printf("Ignoring Boot%04x: No Media Path\n", boot_current); in match_boot_info()
431 printf("Ignoring Boot%04x: Device Path not found\n", boot_current); in match_boot_info()
436 printf("Ignoring Boot%04x: sanity check failed\n", boot_current); in match_boot_info()
451 printf("Using Boot%04x for root partition\n", boot_current); in match_boot_info()
457 printf("Not using Boot%04x: can't decode kernel\n", boot_current); in match_boot_info()
464 printf("Not using Boot%04x: can't find %s\n", boot_current, in match_boot_info()
472 printf("Using Boot%04x %S + %s\n", boot_current, text, in match_boot_info()
1386 boot_current = 0; in main()
[all …]
|