Searched refs:eaddr (Results 1 – 1 of 1) sorted by relevance
313 paddr_t addr, eaddr; in kimage_alloc_normal_control_page() local319 eaddr = addr + PAGE_SIZE; in kimage_alloc_normal_control_page()320 if ( kimage_is_destination_range(image, addr, eaddr) ) in kimage_alloc_normal_control_page()
Completed in 3 milliseconds