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()364 DPRINTF(" Revision: 0x%08x\n", system_table->Hdr.Revision); in efi_set_tables_64()366 DPRINTF(" CRC32: 0x%08x\n", system_table->Hdr.CRC32); 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()375 cksum = crc32(0L, system_table, system_table->Hdr.HeaderSize); in efi_set_tables_64()378 system_table->Hdr.CRC32 = hdr_cksum; in efi_set_tables_64()384 gPEEFISystemTable = system_table; in efi_set_tables_64()[all …]