Searched refs:boot_current (Results 1 – 1 of 1) sorted by relevance
686 UINT16 boot_current; in main() local897 boot_current = 0; in main()898 sz = sizeof (boot_current); in main()899 efi_global_getenv("BootCurrent", &boot_current, &sz); in main()900 printf(" BootCurrent: %04x\n", boot_current); in main()907 boot_order[i] == boot_current ? "[*]" : ""); in main()