Searched refs:boot_current (Results 1 – 1 of 1) sorted by relevance
692 UINT16 boot_current; in main() local903 boot_current = 0; in main()904 sz = sizeof (boot_current); in main()905 efi_global_getenv("BootCurrent", &boot_current, &sz); in main()906 printf(" BootCurrent: %04x\n", boot_current); in main()913 boot_order[i] == boot_current ? "[*]" : ""); in main()