Searched refs:system_table (Results 1 – 1 of 1) sorted by relevance
358 efi_set_tables_64(EFI_SYSTEM_TABLE_64 * system_table) in efi_set_tables_64() argument364 DPRINTF("Processing 64-bit EFI tables at %p\n", system_table); in efi_set_tables_64()367 DPRINTF(" Signature: 0x%016llx\n", system_table->Hdr.Signature); in efi_set_tables_64()368 DPRINTF(" Revision: 0x%08x\n", system_table->Hdr.Revision); in efi_set_tables_64()369 DPRINTF(" HeaderSize: 0x%08x\n", system_table->Hdr.HeaderSize); in efi_set_tables_64()370 DPRINTF(" CRC32: 0x%08x\n", system_table->Hdr.CRC32); in efi_set_tables_64()371 DPRINTF("RuntimeServices: 0x%016llx\n", system_table->RuntimeServices); in efi_set_tables_64()372 if (system_table->Hdr.Signature != EFI_SYSTEM_TABLE_SIGNATURE) { in efi_set_tables_64()377 hdr_cksum = system_table->Hdr.CRC32; in efi_set_tables_64()378 system_table->Hdr.CRC32 = 0; in efi_set_tables_64()[all …]