Searched refs:boot_current (Results 1 – 1 of 1) sorted by relevance
691 UINT16 boot_current; in main() local906 boot_current = 0; in main()907 sz = sizeof (boot_current); in main()908 efi_global_getenv("BootCurrent", &boot_current, &sz); in main()909 printf(" BootCurrent: %04x\n", boot_current); in main()916 boot_order[i] == boot_current ? "[*]" : ""); in main()