Searched refs:efiRuntimeServicesPageCount (Results 1 – 3 of 3) sorted by relevance
239 args->efiRuntimeServicesPageStart, args->efiRuntimeServicesPageCount, in hibernate_page_list_set_volatile()241 *pagesOut -= args->efiRuntimeServicesPageCount; in hibernate_page_list_set_volatile()254 header->runtimePageCount = args->efiRuntimeServicesPageCount; in hibernate_processor_setup()
174 uint32_t efiRuntimeServicesPageCount; member
441 args->efiRuntimeServicesPageCount); in efi_init()487 ppnum_t pend = pstart + args->efiRuntimeServicesPageCount; in bootloader_valid_page()536 i386_ptob(args->efiRuntimeServicesPageStart + args->efiRuntimeServicesPageCount)); in hibernate_newruntime_map()