old_image_addr     53 drivers/firmware/efi/libstub/arm64-stub.c 	void *old_image_addr = (void *)*image_addr;
old_image_addr    152 drivers/firmware/efi/libstub/arm64-stub.c 	memcpy((void *)*image_addr, old_image_addr, kernel_size);