Searched refs:dboot_print_efi_version (Results 1 – 1 of 1) sorted by relevance
1780 dboot_print_efi_version(uint32_t ver) in dboot_print_efi_version() function1804 dboot_print_efi_version(efi->Hdr.Revision); in print_efi32()1810 dboot_print_efi_version(efi->FirmwareRevision); in print_efi32()1842 dboot_print_efi_version(efi->Hdr.Revision); in print_efi64()1848 dboot_print_efi_version(efi->FirmwareRevision); in print_efi64()