Searched refs:efiRuntimeServicesPageStart (Results 1 – 3 of 3) sorted by relevance
237 if (args->efiRuntimeServicesPageStart) { in hibernate_page_list_set_volatile()239 args->efiRuntimeServicesPageStart, args->efiRuntimeServicesPageCount, in hibernate_page_list_set_volatile()253 header->runtimePages = args->efiRuntimeServicesPageStart; in hibernate_processor_setup()
173 uint32_t efiRuntimeServicesPageStart;/* physical address of defragmented runtime pages */ member
443 args->efiRuntimeServicesPageStart); in efi_init()490 ppnum_t pstart = args->efiRuntimeServicesPageStart; in bootloader_valid_page()514 system_table_offset += ptoa_32(args->efiRuntimeServicesPageStart); in hibernate_newruntime_map()539 pmap_remove(kernel_pmap, i386_ptob(args->efiRuntimeServicesPageStart), in hibernate_newruntime_map()540 i386_ptob(args->efiRuntimeServicesPageStart + args->efiRuntimeServicesPageCount)); in hibernate_newruntime_map()