Lines Matching refs:runtime

265  *      The table can be generated at runtime if desired; code to do so
343 EFI_RUNTIME_SERVICES_64 *runtime;
374 kprintf("Skipping 64-bit EFI runtime services for 32-bit legacy mode\n");
379 kprintf("No runtime table present\n");
384 runtime = (EFI_RUNTIME_SERVICES_64 *) (uintptr_t)system_table->RuntimeServices;
385 DPRINTF("Checking runtime services table %p\n", runtime);
386 if (runtime->Hdr.Signature != EFI_RUNTIME_SERVICES_SIGNATURE) {
387 kprintf("Bad EFI runtime table signature\n");
391 // Verify signature of runtime services table
392 hdr_cksum = runtime->Hdr.CRC32;
393 runtime->Hdr.CRC32 = 0;
394 cksum = crc32(0L, runtime, runtime->Hdr.HeaderSize);
397 runtime->Hdr.CRC32 = hdr_cksum;
399 kprintf("Bad EFI runtime table checksum\n");
403 gPEEFIRuntimeServices = runtime;
411 EFI_RUNTIME_SERVICES_32 *runtime;
443 kprintf("No runtime table present\n");
449 runtime = (EFI_RUNTIME_SERVICES_32 *)
455 DPRINTF("Runtime table addressed at %p\n", runtime);
456 if (runtime->Hdr.Signature != EFI_RUNTIME_SERVICES_SIGNATURE) {
457 kprintf("Bad EFI runtime table signature\n");
461 // Verify signature of runtime services table
462 hdr_cksum = runtime->Hdr.CRC32;
463 runtime->Hdr.CRC32 = 0;
464 cksum = crc32(0L, runtime, runtime->Hdr.HeaderSize);
467 runtime->Hdr.CRC32 = hdr_cksum;
469 kprintf("Bad EFI runtime table checksum\n");
474 DPRINTF(" GetTime : 0x%x\n", runtime->GetTime);
475 DPRINTF(" SetTime : 0x%x\n", runtime->SetTime);
476 DPRINTF(" GetWakeupTime : 0x%x\n", runtime->GetWakeupTime);
477 DPRINTF(" SetWakeupTime : 0x%x\n", runtime->SetWakeupTime);
478 DPRINTF(" SetVirtualAddressMap : 0x%x\n", runtime->SetVirtualAddressMap);
479 DPRINTF(" ConvertPointer : 0x%x\n", runtime->ConvertPointer);
480 DPRINTF(" GetVariable : 0x%x\n", runtime->GetVariable);
481 DPRINTF(" GetNextVariableName : 0x%x\n", runtime->GetNextVariableName);
482 DPRINTF(" SetVariable : 0x%x\n", runtime->SetVariable);
483 DPRINTF(" GetNextHighMonotonicCount: 0x%x\n", runtime->GetNextHighMonotonicCount);
484 DPRINTF(" ResetSystem : 0x%x\n", runtime->ResetSystem);
486 gPEEFIRuntimeServices = runtime;
492 /* Map in EFI runtime areas. */
498 kprintf("Initializing EFI runtime services\n");
560 /* Remap EFI runtime areas. */
566 kprintf("Reinitializing EFI runtime services\n");
644 kprintf("Done reinitializing EFI runtime services\n");
671 * Initialize EFI runtime services.