Searched refs:system_table (Results 1 - 1 of 1) sorted by relevance

/xnu-2782.1.97/osfmk/i386/AT386/
H A Dmodel_dep.c338 efi_set_tables_64(EFI_SYSTEM_TABLE_64 * system_table) argument
344 DPRINTF("Processing 64-bit EFI tables at %p\n", system_table);
347 DPRINTF(" Signature: 0x%016llx\n", system_table->Hdr.Signature);
348 DPRINTF(" Revision: 0x%08x\n", system_table->Hdr.Revision);
349 DPRINTF(" HeaderSize: 0x%08x\n", system_table->Hdr.HeaderSize);
350 DPRINTF(" CRC32: 0x%08x\n", system_table->Hdr.CRC32);
351 DPRINTF("RuntimeServices: 0x%016llx\n", system_table->RuntimeServices);
352 if (system_table->Hdr.Signature != EFI_SYSTEM_TABLE_SIGNATURE) {
357 hdr_cksum = system_table->Hdr.CRC32;
358 system_table
401 efi_set_tables_32(EFI_SYSTEM_TABLE_32 * system_table) argument
[all...]

Completed in 20 milliseconds