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
446 args->efiRuntimeServicesPageStart); in efi_init()493 ppnum_t pstart = args->efiRuntimeServicesPageStart; in bootloader_valid_page()517 system_table_offset += ptoa_32(args->efiRuntimeServicesPageStart); in hibernate_newruntime_map()542 pmap_remove(kernel_pmap, i386_ptob(args->efiRuntimeServicesPageStart), in hibernate_newruntime_map()543 i386_ptob(args->efiRuntimeServicesPageStart + args->efiRuntimeServicesPageCount)); in hibernate_newruntime_map()