1.1 --- a/tools/ioemu/hw/pc.c	Thu Feb 14 09:26:38 2008 +0000
     1.2 +++ b/tools/ioemu/hw/pc.c	Thu Feb 14 10:31:01 2008 +0000
     1.3 @@ -361,6 +361,7 @@ void bochs_bios_init(void)
     1.4      register_ioport_write(0x503, 1, 1, bochs_bios_write, NULL);
     1.5  }
     1.6  
     1.7 +#if defined(__i386__) || defined(__x86_64__)
     1.8  /* Generate an initial boot sector which sets state and jump to
     1.9     a specified vector */
    1.10  static void generate_bootsect(uint32_t gpr[8], uint16_t segs[6], uint16_t ip)
    1.11 @@ -718,6 +719,14 @@ static void load_linux(const char *kerne
    1.12  
    1.13      generate_bootsect(gpr, seg, 0);
    1.14  }
    1.15 +#else /* __ia64__ */
    1.16 +static void load_linux(const char *kernel_filename,
    1.17 +                       const char *initrd_filename,
    1.18 +                       const char *kernel_cmdline)
    1.19 +{
    1.20 +    /* Direct Linux boot is unsupported. */
    1.21 +}
    1.22 +#endif
    1.23  
    1.24  static void main_cpu_reset(void *opaque)
    1.25  {