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);