Searched refs:system_table_offset (Results 1 – 2 of 2) sorted by relevance
498 hibernate_newruntime_map(void * map, vm_size_t map_size, uint32_t system_table_offset) in hibernate_newruntime_map() argument514 system_table_offset += ptoa_32(args->efiRuntimeServicesPageStart); in hibernate_newruntime_map()517 (uint32_t)args->efiSystemTable, system_table_offset); in hibernate_newruntime_map()519 args->efiSystemTable = system_table_offset; in hibernate_newruntime_map()
504 uint32_t system_table_offset);