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