Searched refs:system_table (Results 1 – 1 of 1) sorted by relevance
354 efi_set_tables_64(EFI_SYSTEM_TABLE_64 * system_table) in efi_set_tables_64() argument360 DPRINTF("Processing 64-bit EFI tables at %p\n", system_table); in efi_set_tables_64()363 DPRINTF(" Signature: 0x%016llx\n", system_table->Hdr.Signature); in efi_set_tables_64()364 DPRINTF(" Revision: 0x%08x\n", system_table->Hdr.Revision); in efi_set_tables_64()365 DPRINTF(" HeaderSize: 0x%08x\n", system_table->Hdr.HeaderSize); in efi_set_tables_64()366 DPRINTF(" CRC32: 0x%08x\n", system_table->Hdr.CRC32); in efi_set_tables_64()367 DPRINTF("RuntimeServices: 0x%016llx\n", system_table->RuntimeServices); in efi_set_tables_64()368 if (system_table->Hdr.Signature != EFI_SYSTEM_TABLE_SIGNATURE) { in efi_set_tables_64()373 hdr_cksum = system_table->Hdr.CRC32; in efi_set_tables_64()374 system_table->Hdr.CRC32 = 0; in efi_set_tables_64()[all …]