sys/stand/efiboot/boot.c

402

command_printtab("Version", "%s (%s)\n",

sys/stand/efiboot/boot.c

404

command_printtab("EFI", "%d.%02d\n",

sys/stand/efiboot/boot.c

410

command_printtab("Firmware", "%s (rev 0x%x)\n", ufirmware,

sys/stand/efiboot/boot.c

415

command_printtab("Config path", "%s\n", pathbuf);

sys/stand/efiboot/boot.c

420

command_printtab("OS Indications", "0x%" PRIx64 "\n",

sys/stand/efiboot/bootaa64/efibootaa64.c

92

command_printtab("CurrentEL", "EL%u\n", efi_aarch64_current_el());

sys/stand/efiboot/efiacpi.c

152

command_printtab("ACPI", "v%02d %c%c%c%c%c%c\n", rsdp->revision,

sys/stand/efiboot/efiacpi.c

157

command_printtab("SMBIOS", "%s\n", efi_acpi_get_model());

sys/stand/efiboot/efiboot.h

56

void command_printtab(const char *, const char *, ...);

sys/stand/efiboot/efifdt.c

214

command_printtab("FDT", "%s [", model);

sys/stand/efiboot/efigop.c

90

command_printtab("GOP", "");

sys/stand/efiboot/efirng.c

88

command_printtab("RNG", "");