Lines Matching refs:efi
1655 process_efi32(EFI_SYSTEM_TABLE32 *efi) in process_efi32() argument
1662 entries = efi->NumberOfTableEntries; in process_efi32()
1664 efi->ConfigurationTable; in process_efi32()
1691 process_efi64(EFI_SYSTEM_TABLE64 *efi) in process_efi64() argument
1698 entries = efi->NumberOfTableEntries; in process_efi64()
1700 efi->ConfigurationTable; in process_efi64()
1795 print_efi32(EFI_SYSTEM_TABLE32 *efi) in print_efi32() argument
1802 (unsigned long long)efi->Hdr.Signature); in print_efi32()
1804 dboot_print_efi_version(efi->Hdr.Revision); in print_efi32()
1806 data = (uint16_t *)(uintptr_t)efi->FirmwareVendor; in print_efi32()
1810 dboot_print_efi_version(efi->FirmwareRevision); in print_efi32()
1812 efi->NumberOfTableEntries); in print_efi32()
1814 efi->ConfigurationTable; in print_efi32()
1815 for (i = 0; i < (int)efi->NumberOfTableEntries; i++) { in print_efi32()
1833 print_efi64(EFI_SYSTEM_TABLE64 *efi) in print_efi64() argument
1840 (unsigned long long)efi->Hdr.Signature); in print_efi64()
1842 dboot_print_efi_version(efi->Hdr.Revision); in print_efi64()
1844 data = (uint16_t *)(uintptr_t)efi->FirmwareVendor; in print_efi64()
1848 dboot_print_efi_version(efi->FirmwareRevision); in print_efi64()
1850 efi->NumberOfTableEntries); in print_efi64()
1852 efi->ConfigurationTable; in print_efi64()
1853 for (i = 0; i < (int)efi->NumberOfTableEntries; i++) { in print_efi64()