Lines Matching defs:boot_current
106 UINT16 boot_current;
417 printf("Ignoring Boot%04x: Only one DP found\n", boot_current);
421 printf("Ignoring Boot%04x: No Media Path\n", boot_current);
431 printf("Ignoring Boot%04x: Device Path not found\n", boot_current);
436 printf("Ignoring Boot%04x: sanity check failed\n", boot_current);
451 printf("Using Boot%04x for root partition\n", boot_current);
457 printf("Not using Boot%04x: can't decode kernel\n", boot_current);
464 printf("Not using Boot%04x: can't find %s\n", boot_current,
472 printf("Using Boot%04x %S + %s\n", boot_current, text,
1365 boot_current = 0;
1366 sz = sizeof(boot_current);
1367 rv = efi_global_getenv("BootCurrent", &boot_current, &sz);
1369 printf(" BootCurrent: %04x\n", boot_current);
1371 boot_current = 0xffff;
1381 boot_order[i] == boot_current ? "[*]" : "");
1383 is_last = boot_order[(sz / sizeof(boot_order[0])) - 1] == boot_current;
1392 boot_order[0] = boot_current;
1404 snprintf(buf, sizeof(buf), "Boot%04X", boot_current);