Searched refs:boot_current (Results 1 – 2 of 2) sorted by relevance
| /freebsd-12.1/stand/efi/loader/ |
| H A D | main.c | 92 UINT16 boot_current; variable
377 printf("Ignoring Boot%04x: No Media Path\n", boot_current); in match_boot_info()
428 printf("Using Boot%04x %S + %s\n", boot_current, text, in match_boot_info()
908 boot_current = 0; in main()
909 sz = sizeof(boot_current); in main()
910 rv = efi_global_getenv("BootCurrent", &boot_current, &sz); in main()
912 printf(" BootCurrent: %04x\n", boot_current); in main()
914 boot_current = 0xffff; in main()
924 boot_order[i] == boot_current ? "[*]" : ""); in main()
935 boot_order[0] = boot_current; in main()
[all …]
|
| /freebsd-12.1/stand/efi/boot1/ |
| H A D | boot1.c | 411 UINT16 boot_current; in efi_main() local
474 boot_current = 0; in efi_main()
475 sz = sizeof(boot_current); in efi_main()
476 if (efi_global_getenv("BootCurrent", &boot_current, &sz) == EFI_SUCCESS) { in efi_main()
477 printf(" BootCurrent: %04x\n", boot_current); in efi_main()
484 boot_order[i] == boot_current ? "[*]" : ""); in efi_main()
|