Lines Matching defs:system_table
338 efi_set_tables_64(EFI_SYSTEM_TABLE_64 * system_table)
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->Hdr.CRC32 = 0;
359 cksum = crc32(0L, system_table, system_table->Hdr.HeaderSize);
362 system_table->Hdr.CRC32 = hdr_cksum;
368 gPEEFISystemTable = system_table;
370 if(system_table->RuntimeServices == 0) {
374 DPRINTF("RuntimeServices table at 0x%qx\n", system_table->RuntimeServices);
376 runtime = (EFI_RUNTIME_SERVICES_64 *) (uintptr_t)system_table->RuntimeServices;
401 efi_set_tables_32(EFI_SYSTEM_TABLE_32 * system_table)
407 DPRINTF("Processing 32-bit EFI tables at %p\n", system_table);
410 DPRINTF(" Signature: 0x%016llx\n", system_table->Hdr.Signature);
411 DPRINTF(" Revision: 0x%08x\n", system_table->Hdr.Revision);
412 DPRINTF(" HeaderSize: 0x%08x\n", system_table->Hdr.HeaderSize);
413 DPRINTF(" CRC32: 0x%08x\n", system_table->Hdr.CRC32);
414 DPRINTF("RuntimeServices: 0x%08x\n", system_table->RuntimeServices);
415 if (system_table->Hdr.Signature != EFI_SYSTEM_TABLE_SIGNATURE) {
420 hdr_cksum = system_table->Hdr.CRC32;
421 system_table->Hdr.CRC32 = 0;
422 DPRINTF("System table at %p HeaderSize 0x%x\n", system_table, system_table->Hdr.HeaderSize);
423 cksum = crc32(0L, system_table, system_table->Hdr.HeaderSize);
426 system_table->Hdr.CRC32 = hdr_cksum;
432 gPEEFISystemTable = system_table;
434 if(system_table->RuntimeServices == 0) {
438 DPRINTF("RuntimeServices table at 0x%x\n", system_table->RuntimeServices);
442 (system_table->RuntimeServices | VM_MIN_KERNEL_ADDRESS);