Searched refs:system_table_offset (Results 1 – 2 of 2) sorted by relevance
494 hibernate_newruntime_map(void * map, vm_size_t map_size, uint32_t system_table_offset) in hibernate_newruntime_map() argument510 system_table_offset += ptoa_32(args->efiRuntimeServicesPageStart); in hibernate_newruntime_map()513 (uint32_t)args->efiSystemTable, system_table_offset); in hibernate_newruntime_map()515 args->efiSystemTable = system_table_offset; in hibernate_newruntime_map()
703 uint32_t system_table_offset);