Revision 409dbce5 hw/axis_dev88.c

b/hw/axis_dev88.c
249 249
    env->pc = bootstrap_pc;
250 250
}
251 251

  
252
static uint64_t translate_kernel_address(void *opaque, uint64_t addr)
253
{
254
    return addr - 0x80000000LL;
255
}
256

  
252 257
static
253 258
void axisdev88_init (ram_addr_t ram_size,
254 259
                     const char *boot_device,
......
345 350

  
346 351
        /* Boots a kernel elf binary, os/linux-2.6/vmlinux from the axis 
347 352
           devboard SDK.  */
348
        kernel_size = load_elf(kernel_filename, -0x80000000LL,
353
        kernel_size = load_elf(kernel_filename, translate_kernel_address, NULL,
349 354
                               &entry, NULL, &high, 0, ELF_MACHINE, 0);
350 355
        bootstrap_pc = entry;
351 356
        if (kernel_size < 0) {

Also available in: Unified diff