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