Searched refs:old_image_addr (Results 1 – 1 of 1) sorted by relevance
27 void *old_image_addr = (void *)*image_addr; in handle_kernel_image() local72 memcpy((void *)*image_addr, old_image_addr, kernel_size); in handle_kernel_image()