Searched refs:image_end (Results 1 – 1 of 1) sorted by relevance
413 uint64_t image_end = round_page(header_phys + header->image1Size); in pal_hib_resume_tramp() local414 map_range_start_end(&ctx, image_start, image_end, 0, MAP_RW); in pal_hib_resume_tramp()418 image_end = image_start + ptoa_64(header->handoffPageCount); in pal_hib_resume_tramp()419 map_range_start_end(&ctx, image_start, image_end, 0, MAP_RO); in pal_hib_resume_tramp()