0.3.2/src/machine.c

/*
 *  Copyright (C) 2003-2005  Anders Gavare.  All rights reserved.
 *
 *  Redistribution and use in source and binary forms, with or without
 *  modification, are permitted provided that the following conditions are met:
 *
 *  1. Redistributions of source code must retain the above copyright
 *     notice, this list of conditions and the following disclaimer.
 *  2. Redistributions in binary form must reproduce the above copyright  
 *     notice, this list of conditions and the following disclaimer in the 
 *     documentation and/or other materials provided with the distribution.
 *  3. The name of the author may not be used to endorse or promote products
 *     derived from this software without specific prior written permission.
 *
 *  THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
 *  ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 *  IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
 *  ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE   
 *  FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
 *  DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
 *  OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
 *  HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
 *  LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
 *  OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
 *  SUCH DAMAGE.
 *
 *
 *  $Id: machine.c,v 1.420 2005/04/17 00:15:24 debug Exp $
 *
 *  Emulation of specific machines.
 *
 *  This module is quite large. Hopefully it is still clear enough to be
 *  easily understood. The main parts are:
 *
 *      Helper functions.
 *
 *      Machine specific Interrupt routines.
 *
 *      Machine specific Initialization routines.
 */

#include <stdio.h>
#include <stdlib.h>
#include <stdarg.h>
#ifdef SOLARIS
#include <strings.h>
#else
#include <string.h>
#endif
#include <time.h>
#include <unistd.h>

#include "arcbios.h"
#include "bus_pci.h"
#include "cpu.h"
#include "cpu_mips.h"
#include "device.h"
#include "devices.h"
#include "diskimage.h"
#include "emul.h"
#include "machine.h"
#include "memory.h"
#include "misc.h"
#include "mp.h"
#include "net.h"
#include "symbol.h"

/*  For SGI and ARC emulation:  */
#include "sgi_arcbios.h"
#include "arcbios_other.h"
#include "crimereg.h"

/*  For DECstation emulation:  */
#include "dec_prom.h"
#include "dec_bootinfo.h"
#include "dec_5100.h"
#include "dec_kn01.h"
#include "dec_kn02.h"
#include "dec_kn03.h"
#include "dec_kmin.h"
#include "dec_maxine.h"

/*  HPC:  */
#include "hpc_bootinfo.h"
#include "vripreg.h"


struct machine_entry_subtype {
        int                     machine_subtype;/*  Old-style subtype  */
        const char              *name;          /*  Official name  */
        int                     n_aliases;
        char                    **aliases;      /*  Aliases  */
};

struct machine_entry {
        struct machine_entry    *next;

        /*  Machine type:  */
        int                     arch;
        int                     machine_type;   /*  Old-style type  */
        const char              *name;          /*  Official name  */
        int                     n_aliases;
        char                    **aliases;      /*  Aliases  */

        /*  Machine subtypes:  */
        int                     n_subtypes;
        struct machine_entry_subtype **subtype;
};

/*  This is initialized by machine_init():  */
static struct machine_entry *first_machine_entry = NULL;


/*
 *  machine_new():
 *
 *  Returns a reasonably initialized struct machine.
 */
struct machine *machine_new(char *name, struct emul *emul)
{
        struct machine *m;
        m = malloc(sizeof(struct machine));
        if (m == NULL) {
                fprintf(stderr, "machine_new(): out of memory\n");
                exit(1);
        }

        memset(m, 0, sizeof(struct machine));

        /*  Back pointer:  */
        m->emul = emul;

        m->name = strdup(name);

        /*  Sane default values:  */
        m->serial_nr = 0;
        m->machine_type = MACHINE_NONE;
        m->machine_subtype = MACHINE_NONE;
        m->bintrans_enable = 1;
        m->prom_emulation = 1;
        m->speed_tricks = 1;
        m->byte_order_override = NO_BYTE_ORDER_OVERRIDE;
        m->boot_kernel_filename = "";
        m->boot_string_argument = NULL;
        m->automatic_clock_adjustment = 1;
        m->x11_scaledown = 1;
        m->n_gfx_cards = 1;
        m->dbe_on_nonexistant_memaccess = 1;
        m->show_symbolic_register_names = 1;
        m->bintrans_size = DEFAULT_BINTRANS_SIZE_IN_MB * 1048576;
        symbol_init(&m->symbol_context);

        return m;
}


/*
 *  machine_name_to_type():
 *
 *  Take a type and a subtype as strings, and convert them into numeric
 *  values used internally throughout the code.
 *
 *  Return value is 1 on success, 0 if there was no match.
 *  Also, any errors/warnings are printed using fatal()/debug().
 */
int machine_name_to_type(char *stype, char *ssubtype,
        int *type, int *subtype, int *arch)
{
        struct machine_entry *me;
        int i, j, k;

        *type = MACHINE_NONE;
        *subtype = 0;

        me = first_machine_entry;
        while (me != NULL) {
                for (i=0; i<me->n_aliases; i++)
                        if (strcasecmp(me->aliases[i], stype) == 0) {
                                /*  Found a type:  */
                                *type = me->machine_type;
                                *arch = me->arch;

                                if (me->n_subtypes == 0)
                                        return 1;

                                /*  Check for subtype:  */
                                for (j=0; j<me->n_subtypes; j++)
                                        for (k=0; k<me->subtype[j]->n_aliases;
                                            k++)
                                                if (strcasecmp(ssubtype,
                                                    me->subtype[j]->aliases[k]
                                                    ) == 0) {
                                                        *subtype = me->subtype[
                                                            j]->machine_subtype;
                                                        return 1;
                                                }

                                fatal("unknown subtype '%s' for emulation"
                                    " '%s'\n", ssubtype, stype);
                                exit(1);
                        }

                me = me->next;
        }

        fatal("machine_name_to_type(): unknown emulation type '%s' (", stype);
        if (ssubtype == NULL)
                fatal("no subtype)\n");
        else
                fatal("subtype '%s')\n", ssubtype);

        fatal("Use the -H command line option to get a list of available"
            " types and subtypes.\n");
        return 0;
}


/*
 *  machine_add_tickfunction():
 *
 *  Adds a tick function (a function called every now and then, depending on
 *  clock cycle count) to a machine.
 */
void machine_add_tickfunction(struct machine *machine, void (*func)
        (struct cpu *, void *), void *extra, int clockshift)
{
        int n = machine->n_tick_entries;

        if (n >= MAX_TICK_FUNCTIONS) {
                fprintf(stderr, "machine_add_tickfunction(): too "
                    "many tick functions\n");
                exit(1);
        }

        /*  Don't use too low clockshifts, that would be too inefficient
            with bintrans.  */
        if (clockshift < N_SAFE_BINTRANS_LIMIT_SHIFT)
                fatal("WARNING! clockshift = %i, less than "
                    "N_SAFE_BINTRANS_LIMIT_SHIFT (%i)\n",
                    clockshift, N_SAFE_BINTRANS_LIMIT_SHIFT);

        machine->ticks_till_next[n]   = 0;
        machine->ticks_reset_value[n] = 1 << clockshift;
        machine->tick_func[n]         = func;
        machine->tick_extra[n]        = extra;

        machine->n_tick_entries ++;
}


/****************************************************************************
 *                                                                          *
 *                              Helper functions                            *
 *                                                                          *
 ****************************************************************************/


int int_to_bcd(int i)
{
        return (i/10) * 16 + (i % 10);
}


/*
 *  dump_mem_string():
 *
 *  Dump the contents of emulated RAM as readable text.  Bytes that aren't
 *  readable are dumped in [xx] notation, where xx is in hexadecimal.
 *  Dumping ends after DUMP_MEM_STRING_MAX bytes, or when a terminating
 *  zero byte is found.
 */
#define DUMP_MEM_STRING_MAX     45
void dump_mem_string(struct cpu *cpu, uint64_t addr)
{
        int i;
        for (i=0; i<DUMP_MEM_STRING_MAX; i++) {
                unsigned char ch = '\0';

                cpu->memory_rw(cpu, cpu->mem, addr + i, &ch, sizeof(ch),
                    MEM_READ, CACHE_DATA | NO_EXCEPTIONS);
                if (ch == '\0')
                        return;
                if (ch >= ' ' && ch < 126)
                        debug("%c", ch);  
                else
                        debug("[%02x]", ch);
        }
}


/*
 *  store_byte():
 *
 *  Stores a byte in emulated ram. (Helper function.)
 */
void store_byte(struct cpu *cpu, uint64_t addr, uint8_t data)
{
        if ((addr >> 32) == 0)
                addr = (int64_t)(int32_t)addr;
        cpu->memory_rw(cpu, cpu->mem,
            addr, &data, sizeof(data), MEM_WRITE, CACHE_DATA);
}


/*
 *  store_string():
 *
 *  Stores chars into emulated RAM until a zero byte (string terminating
 *  character) is found. The zero byte is also copied.
 *  (strcpy()-like helper function, host-RAM-to-emulated-RAM.)
 */
void store_string(struct cpu *cpu, uint64_t addr, char *s)
{
        do {
                store_byte(cpu, addr++, *s);
        } while (*s++);
}


/*
 *  add_environment_string():
 *
 *  Like store_string(), but advances the pointer afterwards. The most
 *  obvious use is to place a number of strings (such as environment variable
 *  strings) after one-another in emulated memory.
 */
void add_environment_string(struct cpu *cpu, char *s, uint64_t *addr)
{
        store_string(cpu, *addr, s);
        (*addr) += strlen(s) + 1;
}


/*
 *  store_64bit_word():
 *
 *  Stores a 64-bit word in emulated RAM.  Byte order is taken into account.
 *  Helper function.
 */
int store_64bit_word(struct cpu *cpu, uint64_t addr, uint64_t data64)
{
        unsigned char data[8];
        if ((addr >> 32) == 0)
                addr = (int64_t)(int32_t)addr;
        data[0] = (data64 >> 56) & 255;
        data[1] = (data64 >> 48) & 255;
        data[2] = (data64 >> 40) & 255;
        data[3] = (data64 >> 32) & 255;
        data[4] = (data64 >> 24) & 255;
        data[5] = (data64 >> 16) & 255;
        data[6] = (data64 >> 8) & 255;
        data[7] = (data64) & 255;
        if (cpu->byte_order == EMUL_LITTLE_ENDIAN) {
                int tmp = data[0]; data[0] = data[7]; data[7] = tmp;
                tmp = data[1]; data[1] = data[6]; data[6] = tmp;
                tmp = data[2]; data[2] = data[5]; data[5] = tmp;
                tmp = data[3]; data[3] = data[4]; data[4] = tmp;
        }
        return cpu->memory_rw(cpu, cpu->mem,
            addr, data, sizeof(data), MEM_WRITE, CACHE_DATA);
}


/*
 *  store_32bit_word():
 *
 *  Stores a 32-bit word in emulated RAM.  Byte order is taken into account.
 *  (This function takes a 64-bit word as argument, to suppress some
 *  warnings, but only the lowest 32 bits are used.)
 */
int store_32bit_word(struct cpu *cpu, uint64_t addr, uint64_t data32)
{
        unsigned char data[4];
        if ((addr >> 32) == 0)
                addr = (int64_t)(int32_t)addr;
        data[0] = (data32 >> 24) & 255;
        data[1] = (data32 >> 16) & 255;
        data[2] = (data32 >> 8) & 255;
        data[3] = (data32) & 255;
        if (cpu->byte_order == EMUL_LITTLE_ENDIAN) {
                int tmp = data[0]; data[0] = data[3]; data[3] = tmp;
                tmp = data[1]; data[1] = data[2]; data[2] = tmp;
        }
        return cpu->memory_rw(cpu, cpu->mem,
            addr, data, sizeof(data), MEM_WRITE, CACHE_DATA);
}


/*
 *  store_16bit_word():
 *
 *  Stores a 16-bit word in emulated RAM.  Byte order is taken into account.
 *  (This function takes a 64-bit word as argument, to suppress some
 *  warnings, but only the lowest 16 bits are used.)
 */
int store_16bit_word(struct cpu *cpu, uint64_t addr, uint64_t data16)
{
        unsigned char data[2];
        if ((addr >> 32) == 0)
                addr = (int64_t)(int32_t)addr;
        data[0] = (data16 >> 8) & 255;
        data[1] = (data16) & 255;
        if (cpu->byte_order == EMUL_LITTLE_ENDIAN) {
                int tmp = data[0]; data[0] = data[1]; data[1] = tmp;
        }
        return cpu->memory_rw(cpu, cpu->mem,
            addr, data, sizeof(data), MEM_WRITE, CACHE_DATA);
}


/*
 *  store_buf():
 *
 *  memcpy()-like helper function, from host RAM to emulated RAM.
 */
void store_buf(struct cpu *cpu, uint64_t addr, char *s, size_t len)
{
        if ((addr >> 32) == 0)
                addr = (int64_t)(int32_t)addr;
        if ((addr & 7) == 0 && (((size_t)s) & 7) == 0) {
                while (len >= 8) {
                        cpu->memory_rw(cpu, cpu->mem, addr, (unsigned char *)s,
                            8, MEM_WRITE, CACHE_DATA);
                        addr += 8;
                        s += 8;
                        len -= 8;
                }
        }

        if ((addr & 3) == 0 && (((size_t)s) & 3) == 0) {
                while (len >= 4) {
                        cpu->memory_rw(cpu, cpu->mem, addr, (unsigned char *)s,
                            4, MEM_WRITE, CACHE_DATA);
                        addr += 4;
                        s += 4;
                        len -= 4;
                }
        }

        while (len-- != 0)
                store_byte(cpu, addr++, *s++);
}


/*
 *  store_pointer_and_advance():
 *
 *  Stores a 32-bit or 64-bit pointer in emulated RAM, and advances the
 *  target address. (Used by ARC and SGI initialization.)
 */
void store_pointer_and_advance(struct cpu *cpu, uint64_t *addrp,
        uint64_t data, int flag64)
{
        uint64_t addr = *addrp;
        if (flag64) {
                store_64bit_word(cpu, addr, data);
                addr += 8;
        } else {
                store_32bit_word(cpu, addr, data);
                addr += 4;
        }
        *addrp = addr;
}


/*
 *  load_32bit_word():
 *
 *  Helper function.  Prints a warning and returns 0, if the read failed.
 *  Emulated byte order is taken into account.
 */
uint32_t load_32bit_word(struct cpu *cpu, uint64_t addr)
{
        unsigned char data[4];

        if ((addr >> 32) == 0)
                addr = (int64_t)(int32_t)addr;
        cpu->memory_rw(cpu, cpu->mem,
            addr, data, sizeof(data), MEM_READ, CACHE_DATA);

        if (cpu->byte_order == EMUL_LITTLE_ENDIAN) {
                int tmp = data[0]; data[0] = data[3]; data[3] = tmp;
                tmp = data[1]; data[1] = data[2]; data[2] = tmp;
        }

        return (data[0] << 24) + (data[1] << 16) + (data[2] << 8) + data[3];
}


/*
 *  load_16bit_word():
 *
 *  Helper function.  Prints a warning and returns 0, if the read failed.
 *  Emulated byte order is taken into account.
 */
uint16_t load_16bit_word(struct cpu *cpu, uint64_t addr)
{
        unsigned char data[2];

        if ((addr >> 32) == 0)
                addr = (int64_t)(int32_t)addr;
        cpu->memory_rw(cpu, cpu->mem,
            addr, data, sizeof(data), MEM_READ, CACHE_DATA);

        if (cpu->byte_order == EMUL_LITTLE_ENDIAN) {
                int tmp = data[0]; data[0] = data[1]; data[1] = tmp;
        }

        return (data[0] << 8) + data[1];
}


/*
 *  store_64bit_word_in_host():
 *
 *  Stores a 64-bit word in the _host's_ RAM.  Emulated byte order is taken
 *  into account.  This is useful when building structs in the host's RAM
 *  which will later be copied into emulated RAM.
 */
void store_64bit_word_in_host(struct cpu *cpu,
        unsigned char *data, uint64_t data64)
{
        data[0] = (data64 >> 56) & 255;
        data[1] = (data64 >> 48) & 255;
        data[2] = (data64 >> 40) & 255;
        data[3] = (data64 >> 32) & 255;
        data[4] = (data64 >> 24) & 255;
        data[5] = (data64 >> 16) & 255;
        data[6] = (data64 >> 8) & 255;
        data[7] = (data64) & 255;
        if (cpu->byte_order == EMUL_LITTLE_ENDIAN) {
                int tmp = data[0]; data[0] = data[7]; data[7] = tmp;
                tmp = data[1]; data[1] = data[6]; data[6] = tmp;
                tmp = data[2]; data[2] = data[5]; data[5] = tmp;
                tmp = data[3]; data[3] = data[4]; data[4] = tmp;
        }
}


/*
 *  store_32bit_word_in_host():
 *
 *  See comment for store_64bit_word_in_host().
 *
 *  (Note:  The data32 parameter is a uint64_t. This is done to suppress
 *  some warnings.)
 */
void store_32bit_word_in_host(struct cpu *cpu,
        unsigned char *data, uint64_t data32)
{
        data[0] = (data32 >> 24) & 255;
        data[1] = (data32 >> 16) & 255;
        data[2] = (data32 >> 8) & 255;
        data[3] = (data32) & 255;
        if (cpu->byte_order == EMUL_LITTLE_ENDIAN) {
                int tmp = data[0]; data[0] = data[3]; data[3] = tmp;
                tmp = data[1]; data[1] = data[2]; data[2] = tmp;
        }
}


/*
 *  store_16bit_word_in_host():
 *
 *  See comment for store_64bit_word_in_host().
 */
void store_16bit_word_in_host(struct cpu *cpu,
        unsigned char *data, uint16_t data16)
{
        data[0] = (data16 >> 8) & 255;
        data[1] = (data16) & 255;
        if (cpu->byte_order == EMUL_LITTLE_ENDIAN) {
                int tmp = data[0]; data[0] = data[1]; data[1] = tmp;
        }
}


/****************************************************************************
 *                                                                          *
 *                    Machine dependant Interrupt routines                  *
 *                                                                          *
 ****************************************************************************/


/*
 *  DECstation KN02 interrupts:
 */
void kn02_interrupt(struct machine *m, struct cpu *cpu, int irq_nr, int assrt)
{
        int current;

        irq_nr -= 8;
        irq_nr &= 0xff;

        if (assrt) {
                /*  OR in the irq_nr into the CSR:  */
                m->kn02_csr->csr[0] |= irq_nr;
        } else {
                /*  AND out the irq_nr from the CSR:  */
                m->kn02_csr->csr[0] &= ~irq_nr;
        }

        current = m->kn02_csr->csr[0] & m->kn02_csr->csr[2];
        if (current == 0)
                cpu_interrupt_ack(cpu, 2);
        else
                cpu_interrupt(cpu, 2);
}


/*
 *  DECstation KMIN interrupts:
 *
 *  TC slot 3 = system slot.
 */
void kmin_interrupt(struct machine *m, struct cpu *cpu, int irq_nr, int assrt)
{
        irq_nr -= 8;
        /*  debug("kmin_interrupt(): irq_nr=%i assrt=%i\n", irq_nr, assrt);  */

        if (assrt)
                m->dec_ioasic_data->reg[(IOASIC_INTR - IOASIC_SLOT_1_START) / 0x10] |= irq_nr;
        else
                m->dec_ioasic_data->reg[(IOASIC_INTR - IOASIC_SLOT_1_START) / 0x10] &= ~irq_nr;

        if (m->dec_ioasic_data->reg[(IOASIC_INTR - IOASIC_SLOT_1_START) / 0x10]
            & m->dec_ioasic_data->reg[(IOASIC_IMSK - IOASIC_SLOT_1_START) / 0x10])
                cpu_interrupt(cpu, KMIN_INT_TC3);
        else
                cpu_interrupt_ack(cpu, KMIN_INT_TC3);
}


/*
 *  DECstation KN03 interrupts:
 */
void kn03_interrupt(struct machine *m, struct cpu *cpu, int irq_nr, int assrt)
{
        irq_nr -= 8;
        /*  debug("kn03_interrupt(): irq_nr=0x%x assrt=%i\n", irq_nr, assrt);  */

        if (assrt)
                m->dec_ioasic_data->reg[(IOASIC_INTR - IOASIC_SLOT_1_START) / 0x10] |= irq_nr;
        else
                m->dec_ioasic_data->reg[(IOASIC_INTR - IOASIC_SLOT_1_START) / 0x10] &= ~irq_nr;

        if (m->dec_ioasic_data->reg[(IOASIC_INTR - IOASIC_SLOT_1_START) / 0x10]
            & m->dec_ioasic_data->reg[(IOASIC_IMSK - IOASIC_SLOT_1_START) / 0x10])
                cpu_interrupt(cpu, KN03_INT_ASIC);
        else
                cpu_interrupt_ack(cpu, KN03_INT_ASIC);
}


/*
 *  DECstation MAXINE interrupts:
 */
void maxine_interrupt(struct machine *m, struct cpu *cpu,
        int irq_nr, int assrt)
{
        irq_nr -= 8;
        debug("maxine_interrupt(): irq_nr=0x%x assrt=%i\n", irq_nr, assrt);

        if (assrt)
                m->dec_ioasic_data->reg[(IOASIC_INTR - IOASIC_SLOT_1_START)
                    / 0x10] |= irq_nr;
        else
                m->dec_ioasic_data->reg[(IOASIC_INTR - IOASIC_SLOT_1_START)
                    / 0x10] &= ~irq_nr;

        if (m->dec_ioasic_data->reg[(IOASIC_INTR - IOASIC_SLOT_1_START) / 0x10]
            & m->dec_ioasic_data->reg[(IOASIC_IMSK - IOASIC_SLOT_1_START)
            / 0x10])
                cpu_interrupt(cpu, XINE_INT_TC3);
        else
                cpu_interrupt_ack(cpu, XINE_INT_TC3);
}


/*
 *  DECstation KN230 interrupts:
 */
void kn230_interrupt(struct machine *m, struct cpu *cpu, int irq_nr, int assrt)
{
        int r2 = 0;

        m->kn230_csr->csr |= irq_nr;

        switch (irq_nr) {
        case KN230_CSR_INTR_SII:
        case KN230_CSR_INTR_LANCE:
                r2 = 3;
                break;
        case KN230_CSR_INTR_DZ0:
        case KN230_CSR_INTR_OPT0:
        case KN230_CSR_INTR_OPT1:
                r2 = 2;
                break;
        default:
                fatal("kn230_interrupt(): irq_nr = %i ?\n", irq_nr);
        }

        if (assrt) {
                /*  OR in the irq_nr mask into the CSR:  */
                m->kn230_csr->csr |= irq_nr;

                /*  Assert MIPS interrupt 2 or 3:  */
                cpu_interrupt(cpu, r2);
        } else {
                /*  AND out the irq_nr mask from the CSR:  */
                m->kn230_csr->csr &= ~irq_nr;

                /*  If the CSR interrupt bits are all zero,
                    clear the bit in the cause register as well.  */
                if (r2 == 2) {
                        /*  irq 2:  */
                        if ((m->kn230_csr->csr & (KN230_CSR_INTR_DZ0
                            | KN230_CSR_INTR_OPT0 | KN230_CSR_INTR_OPT1)) == 0)
                                cpu_interrupt_ack(cpu, r2);
                } else {
                        /*  irq 3:  */
                        if ((m->kn230_csr->csr & (KN230_CSR_INTR_SII |
                            KN230_CSR_INTR_LANCE)) == 0)
                                cpu_interrupt_ack(cpu, r2);
                }
        }
}


/*
 *  Jazz interrupts (for Acer PICA-61 etc):
 *
 *  0..7                        MIPS interrupts
 *  8 + x, where x = 0..15      Jazz interrupts
 *  8 + x, where x = 16..31     ISA interrupt (irq nr + 16)
 */
void jazz_interrupt(struct machine *m, struct cpu *cpu, int irq_nr, int assrt)
{
        uint32_t irq;
        int isa = 0;

        irq_nr -= 8;

        /*  debug("jazz_interrupt() irq_nr = %i, assrt = %i\n",
                irq_nr, assrt);  */

        if (irq_nr >= 16) {
                isa = 1;
                irq_nr -= 16;
        }

        irq = 1 << irq_nr;

        if (isa) {
                if (assrt)
                        m->jazz_data->isa_int_asserted |= irq;
                else
                        m->jazz_data->isa_int_asserted &= ~irq;
        } else {
                if (assrt)
                        m->jazz_data->int_asserted |= irq;
                else
                        m->jazz_data->int_asserted &= ~irq;
        }

        /*  debug("   %08x %08x\n", m->jazz_data->int_asserted,
                m->jazz_data->int_enable_mask);  */
        /*  debug("   %08x %08x\n", m->jazz_data->isa_int_asserted,
                m->jazz_data->isa_int_enable_mask);  */

        if (m->jazz_data->int_asserted /* & m->jazz_data->int_enable_mask  */
            & ~0x8000 )
                cpu_interrupt(cpu, 3);
        else
                cpu_interrupt_ack(cpu, 3);

        if (m->jazz_data->isa_int_asserted & m->jazz_data->isa_int_enable_mask)
                cpu_interrupt(cpu, 4);
        else
                cpu_interrupt_ack(cpu, 4);

        /*  TODO: this "15" (0x8000) is the timer... fix this?  */
        if (m->jazz_data->int_asserted & 0x8000)
                cpu_interrupt(cpu, 6);
        else
                cpu_interrupt_ack(cpu, 6);
}


/*
 *  VR41xx interrupt routine:
 *
 *  irq_nr = 8 + x
 *      x = 0..15 for level1
 *      x = 16..31 for level2
 *      x = 32+y for GIU interrupt y
 */
void vr41xx_interrupt(struct machine *m, struct cpu *cpu,
        int irq_nr, int assrt)
{
        int giu_irq = 0;

        irq_nr -= 8;
        if (irq_nr >= 32) {
                giu_irq = irq_nr - 32;

                if (assrt)
                        m->vr41xx_data->giuint |= (1 << giu_irq);
                else
                        m->vr41xx_data->giuint &= ~(1 << giu_irq);
        }

        /*  TODO: This is wrong. What about GIU bit 8?  */

        if (irq_nr != 8) {
                /*  If any GIU bit is asserted, then assert the main
                    GIU interrupt:  */
                if (m->vr41xx_data->giuint & m->vr41xx_data->giumask)
                        vr41xx_interrupt(m, cpu, 8 + 8, 1);
                else
                        vr41xx_interrupt(m, cpu, 8 + 8, 0);
        }

        /*  debug("vr41xx_interrupt(): irq_nr=%i assrt=%i\n",
            irq_nr, assrt);  */

        if (irq_nr < 16) {
                if (assrt)
                        m->vr41xx_data->sysint1 |= (1 << irq_nr);
                else
                        m->vr41xx_data->sysint1 &= ~(1 << irq_nr);
        } else if (irq_nr < 32) {
                irq_nr -= 16;
                if (assrt)
                        m->vr41xx_data->sysint2 |= (1 << irq_nr);
                else
                        m->vr41xx_data->sysint2 &= ~(1 << irq_nr);
        }

        /*  TODO: Which hardware interrupt pin?  */

        /*  debug("    sysint1=%04x mask=%04x, sysint2=%04x mask=%04x\n",
            m->vr41xx_data->sysint1, m->vr41xx_data->msysint1,
            m->vr41xx_data->sysint2, m->vr41xx_data->msysint2);  */

        if ((m->vr41xx_data->sysint1 & m->vr41xx_data->msysint1) |
            (m->vr41xx_data->sysint2 & m->vr41xx_data->msysint2))
                cpu_interrupt(cpu, 2);
        else
                cpu_interrupt_ack(cpu, 2);
}


/*
 *  Playstation 2 interrupt routine:
 *
 *  irq_nr =    8 + x           normal irq x
 *              8 + 16 + y      dma irq y
 *              8 + 32 + 0      sbus irq 0 (pcmcia)
 *              8 + 32 + 1      sbus irq 1 (usb)
 */
void ps2_interrupt(struct machine *m, struct cpu *cpu, int irq_nr, int assrt)
{
        irq_nr -= 8;
        debug("ps2_interrupt(): irq_nr=0x%x assrt=%i\n", irq_nr, assrt);

        if (irq_nr >= 32) {
                int msk = 0;
                switch (irq_nr - 32) {
                case 0: /*  PCMCIA:  */
                        msk = 0x100;
                        break;
                case 1: /*  USB:  */
                        msk = 0x400;
                        break;
                default:
                        fatal("ps2_interrupt(): bad irq_nr %i\n", irq_nr);
                }

                if (assrt)
                        m->ps2_data->sbus_smflg |= msk;
                else
                        m->ps2_data->sbus_smflg &= ~msk;

                if (m->ps2_data->sbus_smflg != 0)
                        cpu_interrupt(cpu, 8 + 1);
                else
                        cpu_interrupt_ack(cpu, 8 + 1);
                return;
        }

        if (assrt) {
                /*  OR into the INTR:  */
                if (irq_nr < 16)
                        m->ps2_data->intr |= (1 << irq_nr);
                else
                        m->ps2_data->dmac_reg[0x601] |= (1 << (irq_nr-16));
        } else {
                /*  AND out of the INTR:  */
                if (irq_nr < 16)
                        m->ps2_data->intr &= ~(1 << irq_nr);
                else
                        m->ps2_data->dmac_reg[0x601] &= ~(1 << (irq_nr-16));
        }

        /*  TODO: Hm? How about the mask?  */
        if (m->ps2_data->intr /*  & m->ps2_data->imask */ )
                cpu_interrupt(cpu, 2);
        else
                cpu_interrupt_ack(cpu, 2);

        /*  TODO: mask?  */
        if (m->ps2_data->dmac_reg[0x601] & 0xffff)
                cpu_interrupt(cpu, 3);
        else
                cpu_interrupt_ack(cpu, 3);
}


/*
 *  SGI "IP22" interrupt routine:
 */
void sgi_ip22_interrupt(struct machine *m, struct cpu *cpu,
        int irq_nr, int assrt)
{
        /*
         *  SGI-IP22 specific interrupt stuff:
         *
         *  irq_nr should be 8 + x, where x = 0..31 for local0,
         *  and 32..63 for local1 interrupts.
         *  Add 64*y for "mappable" interrupts, where 1<<y is
         *  the mappable interrupt bitmask. TODO: this misses 64*0 !
         */

        uint32_t newmask;
        uint32_t stat, mask;

        irq_nr -= 8;
        newmask = 1 << (irq_nr & 31);

        if (irq_nr >= 64) {
                int ms = irq_nr / 64;
                uint32_t new = 1 << ms;
                if (assrt)
                        m->sgi_ip22_data->reg[4] |= new;
                else
                        m->sgi_ip22_data->reg[4] &= ~new;
                /*  TODO: is this enough?  */
                irq_nr &= 63;
        }

        if (irq_nr < 32) {
                if (assrt)
                        m->sgi_ip22_data->reg[0] |= newmask;
                else
                        m->sgi_ip22_data->reg[0] &= ~newmask;
        } else {
                if (assrt)
                        m->sgi_ip22_data->reg[2] |= newmask;
                else
                        m->sgi_ip22_data->reg[2] &= ~newmask;
        }

        /*  Read stat and mask for local0:  */
        stat = m->sgi_ip22_data->reg[0];
        mask = m->sgi_ip22_data->reg[1];
        if ((stat & mask) == 0)
                cpu_interrupt_ack(cpu, 2);
        else
                cpu_interrupt(cpu, 2);

        /*  Read stat and mask for local1:  */
        stat = m->sgi_ip22_data->reg[2];
        mask = m->sgi_ip22_data->reg[3];
        if ((stat & mask) == 0)
                cpu_interrupt_ack(cpu, 3);
        else
                cpu_interrupt(cpu, 3);
}


/*
 *  SGI "IP30" interrupt routine:
 *
 *  irq_nr = 8 + 1 + nr, where nr is:
 *      0..49           HEART irqs      hardware irq 2,3,4
 *      50              HEART timer     hardware irq 5
 *      51..63          HEART errors    hardware irq 6
 *
 *  according to Linux/IP30.
 */
void sgi_ip30_interrupt(struct machine *m, struct cpu *cpu,
        int irq_nr, int assrt)
{
        uint64_t newmask;
        uint64_t stat, mask;

        irq_nr -= 8;
        if (irq_nr == 0)
                goto just_assert_and_such;
        irq_nr --;

        newmask = (int64_t)1 << irq_nr;

        if (assrt)
                m->sgi_ip30_data->isr |= newmask;
        else
                m->sgi_ip30_data->isr &= ~newmask;

just_assert_and_such:

        cpu_interrupt_ack(cpu, 2);
        cpu_interrupt_ack(cpu, 3);
        cpu_interrupt_ack(cpu, 4);
        cpu_interrupt_ack(cpu, 5);
        cpu_interrupt_ack(cpu, 6);

        stat = m->sgi_ip30_data->isr;
        mask = m->sgi_ip30_data->imask0;

        if ((stat & mask) & 0x000000000000ffffULL)
                cpu_interrupt(cpu, 2);
        if ((stat & mask) & 0x00000000ffff0000ULL)
                cpu_interrupt(cpu, 3);
        if ((stat & mask) & 0x0003ffff00000000ULL)
                cpu_interrupt(cpu, 4);
        if ((stat & mask) & 0x0004000000000000ULL)
                cpu_interrupt(cpu, 5);
        if ((stat & mask) & 0xfff8000000000000ULL)
                cpu_interrupt(cpu, 6);
}


/*
 *  SGI "IP32" interrupt routine:
 */
void sgi_ip32_interrupt(struct machine *m, struct cpu *cpu,
        int irq_nr, int assrt)
{
        /*
         *  The 64-bit word at crime offset 0x10 is CRIME_INTSTAT,
         *  which contains the current interrupt bits. CRIME_INTMASK
         *  contains a mask of which bits are actually in use.
         *
         *  crime hardcoded at 0x14000000, for SGI-IP32.
         *  If any of these bits are asserted, then physical MIPS
         *  interrupt 2 should be asserted.
         *
         *  TODO:  how should all this be done nicely?
         *
         *  TODO:  mace interrupt mask
         */

        uint64_t crime_addr = CRIME_INTSTAT;
        uint64_t mace_addr = 0x14;
        uint64_t crime_interrupts, crime_interrupts_mask, mace_interrupts;
        unsigned int i;
        unsigned char x[8];

        /*
         *  This mapping of both MACE and CRIME interrupts into the same
         *  'int' is really ugly.
         *
         *  If MACE_PERIPH_MISC or MACE_PERIPH_SERIAL is set, then mask
         *  that bit out and treat the rest of the word as the mace interrupt
         *  bitmask.
         *
         *  TODO: fix.
         */
        if (irq_nr & MACE_PERIPH_SERIAL) {
                /*  Read current MACE interrupt bits:  */
                memcpy(x, m->mace_data->reg + mace_addr, sizeof(uint32_t));
                mace_interrupts = 0;
                for (i=0; i<sizeof(uint32_t); i++) {
                        /*  SGI is big-endian...  */
                        mace_interrupts <<= 8;
                        mace_interrupts |= x[i];
                }

                if (assrt)
                        mace_interrupts |= (irq_nr & ~MACE_PERIPH_SERIAL);
                else
                        mace_interrupts &= ~(irq_nr & ~MACE_PERIPH_SERIAL);

                /*  Write back MACE interrupt bits:  */
                for (i=0; i<4; i++)
                        x[3-i] = mace_interrupts >> (i*8);
                memcpy(m->mace_data->reg + mace_addr, x, sizeof(uint32_t));

                irq_nr = MACE_PERIPH_SERIAL;
                if (mace_interrupts == 0)
                        assrt = 0;
                else
                        assrt = 1;
        }

        /*  Hopefully _MISC and _SERIAL will not be both on at the same time.  */
        if (irq_nr & MACE_PERIPH_MISC) {
                /*  Read current MACE interrupt bits:  */
                memcpy(x, m->mace_data->reg + mace_addr, sizeof(uint32_t));
                mace_interrupts = 0;
                for (i=0; i<sizeof(uint32_t); i++) {
                        /*  SGI is big-endian...  */
                        mace_interrupts <<= 8;
                        mace_interrupts |= x[i];
                }

                if (assrt)
                        mace_interrupts |= (irq_nr & ~MACE_PERIPH_MISC);
                else
                        mace_interrupts &= ~(irq_nr & ~MACE_PERIPH_MISC);

                /*  Write back MACE interrupt bits:  */
                for (i=0; i<4; i++)
                        x[3-i] = mace_interrupts >> (i*8);
                memcpy(m->mace_data->reg + mace_addr, x, sizeof(uint32_t));

                irq_nr = MACE_PERIPH_MISC;
                if (mace_interrupts == 0)
                        assrt = 0;
                else
                        assrt = 1;
        }

        /*  Read CRIME_INTSTAT:  */
        memcpy(x, m->crime_data->reg + crime_addr, sizeof(uint64_t));
        crime_interrupts = 0;
        for (i=0; i<8; i++) {
                /*  SGI is big-endian...  */
                crime_interrupts <<= 8;
                crime_interrupts |= x[i];
        }

        if (assrt)
                crime_interrupts |= irq_nr;
        else
                crime_interrupts &= ~irq_nr;

        /*  Write back CRIME_INTSTAT:  */
        for (i=0; i<8; i++)
                x[7-i] = crime_interrupts >> (i*8);
        memcpy(m->crime_data->reg + crime_addr, x, sizeof(uint64_t));

        /*  Read CRIME_INTMASK:  */
        memcpy(x, m->crime_data->reg + CRIME_INTMASK, sizeof(uint64_t));
        crime_interrupts_mask = 0;
        for (i=0; i<8; i++) {
                crime_interrupts_mask <<= 8;
                crime_interrupts_mask |= x[i];
        }

        if ((crime_interrupts & crime_interrupts_mask) == 0)
                cpu_interrupt_ack(cpu, 2);
        else
                cpu_interrupt(cpu, 2);

        /*  printf("sgi_crime_machine_irq(%i,%i): new interrupts = 0x%08x\n", assrt, irq_nr, crime_interrupts);  */
}


/*
 *  Au1x00 interrupt routine:
 *
 *  TODO: This is just bogus so far.  For more info, read this:
 *  http://www.meshcube.org/cgi-bin/viewcvs.cgi/kernel/linux/arch/mips/au1000/common/
 *
 *  CPU int 2 = IC 0, request 0
 *  CPU int 3 = IC 0, request 1
 *  CPU int 4 = IC 1, request 0
 *  CPU int 5 = IC 1, request 1
 *
 *  Interrupts 0..31 are on interrupt controller 0, interrupts 32..63 are
 *  on controller 1.
 *
 *  Special case: if irq_nr == 64+8, then this just updates the CPU
 *  interrupt assertions.
 */
void au1x00_interrupt(struct machine *m, struct cpu *cpu,
        int irq_nr, int assrt)
{
        uint32_t ms;

        irq_nr -= 8;
        debug("au1x00_interrupt(): irq_nr=%i assrt=%i\n", irq_nr, assrt);

        if (irq_nr < 64) {
                ms = 1 << (irq_nr & 31);

                if (assrt)
                        m->au1x00_ic_data->request0_int |= ms;
                else
                        m->au1x00_ic_data->request0_int &= ~ms;

                /*  TODO: Controller 1  */
        }

        if ((m->au1x00_ic_data->request0_int &
            m->au1x00_ic_data->mask) != 0)
                cpu_interrupt(cpu, 2);
        else
                cpu_interrupt_ack(cpu, 2);

        /*  TODO: What _is_ request1?  */

        /*  TODO: Controller 1  */
}


/****************************************************************************
 *                                                                          *
 *                  Machine dependant Initialization routines               *
 *                                                                          *
 ****************************************************************************/


/*
 *  machine_setup():
 *
 *  This (rather large) function initializes memory, registers, and/or devices
 *  required by specific machine emulations.
 */
void machine_setup(struct machine *machine)
{
        uint64_t addr, addr2;
        int i, j;
        struct memory *mem;
        char tmpstr[1000];

        /*  DECstation:  */
        char *framebuffer_console_name, *serial_console_name;
        int color_fb_flag;
        int boot_scsi_boardnumber = 3, boot_net_boardnumber = 3;
        char *turbochannel_default_gfx_card = "PMAG-BA";
                /*  PMAG-AA, -BA, -CA/DA/EA/FA, -JA, -RO, PMAGB-BA  */

        /*  HPCmips:  */
        struct xx {
                struct btinfo_magic a;
                struct btinfo_bootpath b;
                struct btinfo_symtab c;
        } xx;
        struct hpc_bootinfo hpc_bootinfo;
        uint64_t hpcmips_fb_addr = 0;
        int hpcmips_fb_bits = 0, hpcmips_fb_encoding = 0;
        int hpcmips_fb_xsize = 0;
        int hpcmips_fb_ysize = 0;
        int hpcmips_fb_xsize_mem = 0;
        int hpcmips_fb_ysize_mem = 0;

        /*  ARCBIOS stuff:  */
        struct arcbios_spb arcbios_spb;
        struct arcbios_spb_64 arcbios_spb_64;
        struct arcbios_sysid arcbios_sysid;
        struct arcbios_dsp_stat arcbios_dsp_stat;
        uint64_t mem_base, mem_count;
        uint64_t system = 0;
        uint64_t sgi_ram_offset = 0;
        uint64_t arc_reserved;
        int arc_wordlen = sizeof(uint32_t);
        char *short_machine_name = NULL;
        char *eaddr_string = "eaddr=10:20:30:40:50:60";   /*  nonsense  */
        unsigned char macaddr[6];

        /*  Generic bootstring stuff:  */
        int bootdev_id = diskimage_bootdev(machine);
        char *bootstr = NULL;
        char *bootarg = NULL;
        char *init_bootpath;

        /*  PCI stuff:  */
        struct pci_data *pci_data;

        /*  Framebuffer stuff:  */
        struct vfb_data *fb;

        /*  Abreviation:  :-)  */
        struct cpu *cpu = machine->cpus[machine->bootstrap_cpu];


        mem = cpu->mem;
        machine->machine_name = NULL;

        /*  TODO: Move this somewhere else?  */
        if (machine->boot_string_argument == NULL) {
                switch (machine->machine_type) {
                case MACHINE_ARC:
                        machine->boot_string_argument = "-aN";
                        break;
                case MACHINE_DEC:
                        machine->boot_string_argument = "-a";
                        break;
                default:
                        /*  Important, because boot_string_argument should
                            not be set to NULL:  */
                        machine->boot_string_argument = "";
                }
        }

        switch (machine->machine_type) {

        case MACHINE_NONE:
                printf("\nNo emulation type specified.\n");
                exit(1);

        case MACHINE_BAREMIPS:
                /*
                 *  A "bare" MIPS test machine.
                 *
                 *  NOTE: NO devices at all.
                 */
                cpu->byte_order = EMUL_BIG_ENDIAN;
                machine->machine_name = "\"Bare\" MIPS machine";
                break;

        case MACHINE_TESTMIPS:
                /*
                 *  A MIPS test machine (which happens to work with my
                 *  thesis work).
                 */
                cpu->byte_order = EMUL_BIG_ENDIAN;
                machine->machine_name = "MIPS test machine";

                machine->main_console_handle = dev_cons_init(
                    machine, mem, DEV_CONS_ADDRESS, "console", 2);

                snprintf(tmpstr, sizeof(tmpstr) - 1, "mp addr=0x%llx",
                    (long long)DEV_MP_ADDRESS);
                device_add(machine, tmpstr);

                fb = dev_fb_init(machine, mem, 0x12000000, VFB_GENERIC,
                    640,480, 640,480, 24, "generic", 1);
                break;

        case MACHINE_DEC:
                cpu->byte_order = EMUL_LITTLE_ENDIAN;

                /*  An R2020 or R3220 memory thingy:  */
                cpu->cd.mips.coproc[3] = mips_coproc_new(cpu, 3);

                /*  There aren't really any good standard values...  */
                framebuffer_console_name = "osconsole=0,3";
                serial_console_name      = "osconsole=1";

                switch (machine->machine_subtype) {
                case MACHINE_DEC_PMAX_3100:             /*  type  1, KN01  */
                        /*  Supposed to have 12MHz or 16.67MHz R2000 CPU, R2010 FPC, R2020 Memory coprocessor  */
                        machine->machine_name = "DEC PMAX 3100 (KN01)";

                        /*  12 MHz for 2100, 16.67 MHz for 3100  */
                        if (machine->emulated_hz == 0)
                                machine->emulated_hz = 16670000;

                        if (machine->physical_ram_in_mb > 24)
                                fprintf(stderr, "WARNING! Real DECstation 3100 machines cannot have more than 24MB RAM. Continuing anyway.\n");

                        if ((machine->physical_ram_in_mb % 4) != 0)
                                fprintf(stderr, "WARNING! Real DECstation 3100 machines have an integer multiple of 4 MBs of RAM. Continuing anyway.\n");

                        color_fb_flag = 1;      /*  1 for color, 0 for mono. TODO: command line option?  */

                        /*
                         *  According to NetBSD/pmax:
                         *
                         *  pm0 at ibus0 addr 0xfc00000: 1024x864x1  (or x8 for color)
                         *  dc0 at ibus0 addr 0x1c000000
                         *  le0 at ibus0 addr 0x18000000: address 00:00:00:00:00:00
                         *  sii0 at ibus0 addr 0x1a000000
                         *  mcclock0 at ibus0 addr 0x1d000000: mc146818 or compatible
                         *  0x1e000000 = system status and control register
                         */
                        fb = dev_fb_init(machine, mem, KN01_PHYS_FBUF_START,
                            color_fb_flag? VFB_DEC_VFB02 : VFB_DEC_VFB01,
                            0,0,0,0,0, color_fb_flag? "VFB02":"VFB01", 1);
                        dev_colorplanemask_init(mem, KN01_PHYS_COLMASK_START, &fb->color_plane_mask);
                        dev_vdac_init(mem, KN01_SYS_VDAC, fb->rgb_palette, color_fb_flag);
                        dev_le_init(machine, mem, KN01_SYS_LANCE, KN01_SYS_LANCE_B_START, KN01_SYS_LANCE_B_END, KN01_INT_LANCE, 4*1048576);
                        dev_sii_init(machine, mem, KN01_SYS_SII, KN01_SYS_SII_B_START, KN01_SYS_SII_B_END, KN01_INT_SII);
                        dev_dc7085_init(machine, mem, KN01_SYS_DZ, KN01_INT_DZ, machine->use_x11);
                        dev_mc146818_init(machine, mem, KN01_SYS_CLOCK, KN01_INT_CLOCK, MC146818_DEC, 1);
                        dev_kn01_csr_init(mem, KN01_SYS_CSR, color_fb_flag);

                        framebuffer_console_name = "osconsole=0,3";     /*  fb,keyb  */
                        serial_console_name      = "osconsole=3";       /*  3  */
                        break;

                case MACHINE_DEC_3MAX_5000:             /*  type  2, KN02  */
                        /*  Supposed to have 25MHz R3000 CPU, R3010 FPC,  */
                        /*  and a R3220 Memory coprocessor  */
                        machine->machine_name = "DECstation 5000/200 (3MAX, KN02)";

                        if (machine->emulated_hz == 0)
                                machine->emulated_hz = 25000000;

                        if (machine->physical_ram_in_mb < 8)
                                fprintf(stderr, "WARNING! Real KN02 machines do not have less than 8MB RAM. Continuing anyway.\n");
                        if (machine->physical_ram_in_mb > 480)
                                fprintf(stderr, "WARNING! Real KN02 machines cannot have more than 480MB RAM. Continuing anyway.\n");

                        /*  An R3220 memory thingy:  */
                        cpu->cd.mips.coproc[3] = mips_coproc_new(cpu, 3);

                        /*
                         *  According to NetBSD/pmax:
                         *  asc0 at tc0 slot 5 offset 0x0
                         *  le0 at tc0 slot 6 offset 0x0
                         *  ibus0 at tc0 slot 7 offset 0x0
                         *  dc0 at ibus0 addr 0x1fe00000
                         *  mcclock0 at ibus0 addr 0x1fe80000: mc146818
                         *
                         *  kn02 shared irq numbers (IP) are offset by +8
                         *  in the emulator
                         */

                        /*  KN02 interrupts:  */
                        machine->md_interrupt = kn02_interrupt;

                        /*
                         *  TURBOchannel slots 0, 1, and 2 are free for
                         *  option cards.  Let's put in zero or more graphics
                         *  boards:
                         *
                         *  TODO: It's also possible to have larger graphics
                         *  cards that occupy several slots. How to solve
                         *  this nicely?
                         */
                        dev_turbochannel_init(machine, mem, 0,
                            KN02_PHYS_TC_0_START, KN02_PHYS_TC_0_END,
                            machine->n_gfx_cards >= 1?
                                turbochannel_default_gfx_card : "",
                            KN02_IP_SLOT0 +8);

                        dev_turbochannel_init(machine, mem, 1,
                            KN02_PHYS_TC_1_START, KN02_PHYS_TC_1_END,
                            machine->n_gfx_cards >= 2?
                                turbochannel_default_gfx_card : "",
                            KN02_IP_SLOT1 +8);

                        dev_turbochannel_init(machine, mem, 2,
                            KN02_PHYS_TC_2_START, KN02_PHYS_TC_2_END,
                            machine->n_gfx_cards >= 3?
                                turbochannel_default_gfx_card : "",
                            KN02_IP_SLOT2 +8);

                        /*  TURBOchannel slots 3 and 4 are reserved.  */

                        /*  TURBOchannel slot 5 is PMAZ-AA ("asc" SCSI).  */
                        dev_turbochannel_init(machine, mem, 5,
                            KN02_PHYS_TC_5_START, KN02_PHYS_TC_5_END,
                            "PMAZ-AA", KN02_IP_SCSI +8);

                        /*  TURBOchannel slot 6 is PMAD-AA ("le" ethernet).  */
                        dev_turbochannel_init(machine, mem, 6,
                            KN02_PHYS_TC_6_START, KN02_PHYS_TC_6_END,
                            "PMAD-AA", KN02_IP_LANCE +8);

                        /*  TURBOchannel slot 7 is system stuff.  */
                        machine->main_console_handle =
                            dev_dc7085_init(machine, mem,
                            KN02_SYS_DZ, KN02_IP_DZ +8, machine->use_x11);
                        dev_mc146818_init(machine, mem,
                            KN02_SYS_CLOCK, KN02_INT_CLOCK, MC146818_DEC, 1);

                        machine->kn02_csr =
                            dev_kn02_init(cpu, mem, KN02_SYS_CSR);

                        framebuffer_console_name = "osconsole=0,7";
                                                                /*  fb,keyb  */
                        serial_console_name      = "osconsole=2";
                        boot_scsi_boardnumber = 5;
                        boot_net_boardnumber = 6;       /*  TODO: 3?  */
                        break;

                case MACHINE_DEC_3MIN_5000:             /*  type 3, KN02BA  */
                        machine->machine_name = "DECstation 5000/112 or 145 (3MIN, KN02BA)";
                        if (machine->emulated_hz == 0)
                                machine->emulated_hz = 33000000;
                        if (machine->physical_ram_in_mb > 128)
                                fprintf(stderr, "WARNING! Real 3MIN machines cannot have more than 128MB RAM. Continuing anyway.\n");

                        /*  KMIN interrupts:  */
                        machine->md_interrupt = kmin_interrupt;

                        /*
                         *  tc0 at mainbus0: 12.5 MHz clock                             (0x10000000, slotsize = 64MB)
                         *  tc slot 1:   0x14000000
                         *  tc slot 2:   0x18000000
                         *  ioasic0 at tc0 slot 3 offset 0x0                            (0x1c000000) slot 0
                         *  asic regs                                                   (0x1c040000) slot 1
                         *  station's ether address                                     (0x1c080000) slot 2
                         *  le0 at ioasic0 offset 0xc0000: address 00:00:00:00:00:00    (0x1c0c0000) slot 3
                         *  scc0 at ioasic0 offset 0x100000                             (0x1c100000) slot 4
                         *  scc1 at ioasic0 offset 0x180000: console                    (0x1c180000) slot 6
                         *  mcclock0 at ioasic0 offset 0x200000: mc146818 or compatible (0x1c200000) slot 8
                         *  asc0 at ioasic0 offset 0x300000: NCR53C94, 25MHz, SCSI ID 7 (0x1c300000) slot 12
                         *  dma for asc0                                                (0x1c380000) slot 14
                         */
                        machine->dec_ioasic_data = dev_dec_ioasic_init(cpu, mem, 0x1c000000, 0);
                        dev_le_init(machine, mem, 0x1c0c0000, 0, 0, KMIN_INTR_LANCE +8, 4*65536);
                        dev_scc_init(machine, mem, 0x1c100000, KMIN_INTR_SCC_0 +8, machine->use_x11, 0, 1);
                        dev_scc_init(machine, mem, 0x1c180000, KMIN_INTR_SCC_1 +8, machine->use_x11, 1, 1);
                        dev_mc146818_init(machine, mem, 0x1c200000, KMIN_INTR_CLOCK +8, MC146818_DEC, 1);
                        dev_asc_init(machine, mem, 0x1c300000, KMIN_INTR_SCSI +8,
                            NULL, DEV_ASC_DEC, NULL, NULL);

                        /*
                         *  TURBOchannel slots 0, 1, and 2 are free for
                         *  option cards.  These are by default filled with
                         *  zero or more graphics boards.
                         *
                         *  TODO: irqs 
                         */
                        dev_turbochannel_init(machine, mem, 0,
                            0x10000000, 0x103fffff,
                            machine->n_gfx_cards >= 1?
                                turbochannel_default_gfx_card : "",
                            KMIN_INT_TC0);

                        dev_turbochannel_init(machine, mem, 1,
                            0x14000000, 0x143fffff,
                            machine->n_gfx_cards >= 2?
                                turbochannel_default_gfx_card : "",
                            KMIN_INT_TC1);

                        dev_turbochannel_init(machine, mem, 2,
                            0x18000000, 0x183fffff,
                            machine->n_gfx_cards >= 3?
                                turbochannel_default_gfx_card : "",
                            KMIN_INT_TC2);

                        /*  (kmin shared irq numbers (IP) are offset by +8 in the emulator)  */
                        /*  kmin_csr = dev_kmin_init(cpu, mem, KMIN_REG_INTR);  */

                        framebuffer_console_name = "osconsole=0,3";     /*  fb, keyb (?)  */
                        serial_console_name      = "osconsole=3";       /*  ?  */
                        break;

                case MACHINE_DEC_3MAXPLUS_5000: /*  type 4, KN03  */
                        machine->machine_name = "DECsystem 5900 or 5000 (3MAX+) (KN03)";

                        /*  5000/240 (KN03-GA, R3000): 40 MHz  */
                        /*  5000/260 (KN05-NB, R4000): 60 MHz  */
                        /*  TODO: are both these type 4?  */
                        if (machine->emulated_hz == 0)
                                machine->emulated_hz = 40000000;
                        if (machine->physical_ram_in_mb > 480)
                                fprintf(stderr, "WARNING! Real KN03 machines cannot have more than 480MB RAM. Continuing anyway.\n");

                        /*  KN03 interrupts:  */
                        machine->md_interrupt = kn03_interrupt;

                        /*
                         *  tc0 at mainbus0: 25 MHz clock (slot 0)                      (0x1e000000)
                         *  tc0 slot 1                                                  (0x1e800000)
                         *  tc0 slot 2                                                  (0x1f000000)
                         *  ioasic0 at tc0 slot 3 offset 0x0                            (0x1f800000)
                         *    something that has to do with interrupts? (?)             (0x1f840000 ?)
                         *  le0 at ioasic0 offset 0xc0000                               (0x1f8c0000)
                         *  scc0 at ioasic0 offset 0x100000                             (0x1f900000)
                         *  scc1 at ioasic0 offset 0x180000: console                    (0x1f980000)
                         *  mcclock0 at ioasic0 offset 0x200000: mc146818 or compatible (0x1fa00000)
                         *  asc0 at ioasic0 offset 0x300000: NCR53C94, 25MHz, SCSI ID 7 (0x1fb00000)
                         */
                        machine->dec_ioasic_data = dev_dec_ioasic_init(cpu, mem, 0x1f800000, 0);

                        dev_le_init(machine, mem, KN03_SYS_LANCE, 0, 0, KN03_INTR_LANCE +8, 4*65536);

                        machine->dec_ioasic_data->dma_func[3] = dev_scc_dma_func;
                        machine->dec_ioasic_data->dma_func_extra[2] = dev_scc_init(machine, mem, KN03_SYS_SCC_0, KN03_INTR_SCC_0 +8, machine->use_x11, 0, 1);
                        machine->dec_ioasic_data->dma_func[2] = dev_scc_dma_func;
                        machine->dec_ioasic_data->dma_func_extra[3] = dev_scc_init(machine, mem, KN03_SYS_SCC_1, KN03_INTR_SCC_1 +8, machine->use_x11, 1, 1);

                        dev_mc146818_init(machine, mem, KN03_SYS_CLOCK, KN03_INT_RTC, MC146818_DEC, 1);
                        dev_asc_init(machine, mem, KN03_SYS_SCSI,
                            KN03_INTR_SCSI +8, NULL, DEV_ASC_DEC, NULL, NULL);

                        /*
                         *  TURBOchannel slots 0, 1, and 2 are free for
                         *  option cards.  These are by default filled with
                         *  zero or more graphics boards.
                         *
                         *  TODO: irqs 
                         */
                        dev_turbochannel_init(machine, mem, 0,
                            KN03_PHYS_TC_0_START, KN03_PHYS_TC_0_END,
                            machine->n_gfx_cards >= 1?
                                turbochannel_default_gfx_card : "",
                            KN03_INTR_TC_0 +8);

                        dev_turbochannel_init(machine, mem, 1,
                            KN03_PHYS_TC_1_START, KN03_PHYS_TC_1_END,
                            machine->n_gfx_cards >= 2?
                                turbochannel_default_gfx_card : "",
                            KN03_INTR_TC_1 +8);

                        dev_turbochannel_init(machine, mem, 2,
                            KN03_PHYS_TC_2_START, KN03_PHYS_TC_2_END,
                            machine->n_gfx_cards >= 3?
                                turbochannel_default_gfx_card : "",
                            KN03_INTR_TC_2 +8);

                        /*  TODO: interrupts  */
                        /*  shared (turbochannel) interrupts are +8  */

                        framebuffer_console_name = "osconsole=0,3";     /*  fb, keyb (?)  */
                        serial_console_name      = "osconsole=3";       /*  ?  */
                        break;

                case MACHINE_DEC_5800:          /*  type 5, KN5800  */
                        machine->machine_name = "DECsystem 5800";

/*  TODO: this is incorrect, banks multiply by 8 etc  */
                        if (machine->physical_ram_in_mb < 48)
                                fprintf(stderr, "WARNING! 5800 will probably not run with less than 48MB RAM. Continuing anyway.\n");

                        /*
                         *  According to http://www2.no.netbsd.org/Ports/pmax/models.html,
                         *  the 5800-series is based on VAX 6000/300.
                         */

                        /*
                         *  Ultrix might support SMP on this machine type.
                         *
                         *  Something at 0x10000000.
                         *  ssc serial console at 0x10140000, interrupt 2 (shared with XMI?).
                         *  xmi 0 at address 0x11800000   (node x at offset x*0x80000)
                         *  Clock uses interrupt 3 (shared with XMI?).
                         */

                        machine->dec5800_csr = dev_dec5800_init(machine, mem, 0x10000000);
                        dev_decbi_init(mem, 0x10000000);
                        dev_ssc_init(machine, mem, 0x10140000, 2, machine->use_x11, &machine->dec5800_csr->csr);
                        dev_decxmi_init(mem, 0x11800000);
                        dev_deccca_init(mem, DEC_DECCCA_BASEADDR);

                        break;

                case MACHINE_DEC_5400:          /*  type 6, KN210  */
                        machine->machine_name = "DECsystem 5400 (KN210)";
                        /*
                         *  Misc. info from the KN210 manual:
                         *
                         *  Interrupt lines:
                         *      irq5    fpu
                         *      irq4    halt
                         *      irq3    pwrfl -> mer1 -> mer0 -> wear
                         *      irq2    100 Hz -> birq7
                         *      irq1    dssi -> ni -> birq6
                         *      irq0    birq5 -> console -> timers -> birq4
                         *
                         *  Interrupt status register at 0x10048000.
                         *  Main memory error status register at 0x1008140.
                         *  Interval Timer Register (ITR) at 0x10084010.
                         *  Q22 stuff at 0x10088000 - 0x1008ffff.
                         *  TODR at 0x1014006c.
                         *  TCR0 (timer control register 0) 0x10140100.
                         *  TIR0 (timer interval register 0) 0x10140104.
                         *  TCR1 (timer control register 1) 0x10140110.
                         *  TIR1 (timer interval register 1) 0x10140114.
                         *  VRR0 (Vector Read Register 0) at 0x16000050.
                         *  VRR1 (Vector Read Register 1) at 0x16000054.
                         *  VRR2 (Vector Read Register 2) at 0x16000058.
                         *  VRR3 (Vector Read Register 3) at 0x1600005c.
                         */
                        /*  ln (ethernet) at 0x10084x00 ? and 0x10120000 ?  */
                        /*  error registers (?) at 0x17000000 and 0x10080000  */
                        device_add(machine, "kn210 addr=0x10080000");
                        dev_ssc_init(machine, mem, 0x10140000, 0, machine->use_x11, NULL);      /*  TODO:  not irq 0  */
                        break;

                case MACHINE_DEC_MAXINE_5000:   /*  type 7, KN02CA  */
                        machine->machine_name = "Personal DECstation 5000/xxx (MAXINE) (KN02CA)";
                        if (machine->emulated_hz == 0)
                                machine->emulated_hz = 33000000;

                        if (machine->physical_ram_in_mb < 8)
                                fprintf(stderr, "WARNING! Real KN02CA machines do not have less than 8MB RAM. Continuing anyway.\n");
                        if (machine->physical_ram_in_mb > 40)
                                fprintf(stderr, "WARNING! Real KN02CA machines cannot have more than 40MB RAM. Continuing anyway.\n");

                        /*  Maxine interrupts:  */
                        machine->md_interrupt = maxine_interrupt;

                        /*
                         *  Something at address 0xca00000. (?)
                         *  Something at address 0xe000000. (?)
                         *  tc0 slot 0                                                          (0x10000000)
                         *  tc0 slot 1                                                          (0x14000000)
                         *  (tc0 slot 2 used by the framebuffer)
                         *  ioasic0 at tc0 slot 3 offset 0x0                                    (0x1c000000)
                         *  le0 at ioasic0 offset 0xc0000: address 00:00:00:00:00:00            (0x1c0c0000)
                         *  scc0 at ioasic0 offset 0x100000: console  <-- serial                (0x1c100000)
                         *  mcclock0 at ioasic0 offset 0x200000: mc146818                       (0x1c200000)
                         *  isdn at ioasic0 offset 0x240000 not configured                      (0x1c240000)
                         *  bba0 at ioasic0 offset 0x240000 (audio0 at bba0)        <--- which one of isdn and bba0?
                         *  dtop0 at ioasic0 offset 0x280000                                    (0x1c280000)
                         *  fdc at ioasic0 offset 0x2c0000 not configured  <-- floppy           (0x1c2c0000)
                         *  asc0 at ioasic0 offset 0x300000: NCR53C94, 25MHz, SCSI ID 7         (0x1c300000)
                         *  xcfb0 at tc0 slot 2 offset 0x0: 1024x768x8 built-in framebuffer     (0xa000000)
                         */
                        machine->dec_ioasic_data = dev_dec_ioasic_init(cpu, mem, 0x1c000000, 0);

                        /*  TURBOchannel slots (0 and 1):  */
                        dev_turbochannel_init(machine, mem, 0,
                            0x10000000, 0x103fffff,
                            machine->n_gfx_cards >= 2?
                                turbochannel_default_gfx_card : "",
                            XINE_INTR_TC_0 +8);
                        dev_turbochannel_init(machine, mem, 1,
                            0x14000000, 0x143fffff,
                            machine->n_gfx_cards >= 3?
                                turbochannel_default_gfx_card : "",
                            XINE_INTR_TC_1 +8);

                        /*
                         *  TURBOchannel slot 2 is hardwired to be used by
                         *  the framebuffer: (NOTE: 0x8000000, not 0x18000000)
                         */
                        dev_turbochannel_init(machine, mem, 2,
                            0x8000000, 0xbffffff, "PMAG-DV", 0);

                        /*
                         *  TURBOchannel slot 3: fixed, ioasic
                         *  (the system stuff), 0x1c000000
                         */
                        dev_le_init(machine, mem, 0x1c0c0000, 0, 0, XINE_INTR_LANCE +8, 4*65536);
                        dev_scc_init(machine, mem, 0x1c100000,
                            XINE_INTR_SCC_0 +8, machine->use_x11, 0, 1);
                        dev_mc146818_init(machine, mem, 0x1c200000,
                            XINE_INT_TOY, MC146818_DEC, 1);
                        dev_asc_init(machine, mem, 0x1c300000,
                            XINE_INTR_SCSI +8, NULL, DEV_ASC_DEC, NULL, NULL);

                        framebuffer_console_name = "osconsole=3,2";     /*  keyb,fb ??  */
                        serial_console_name      = "osconsole=3";
                        break;

                case MACHINE_DEC_5500:  /*  type 11, KN220  */
                        machine->machine_name = "DECsystem 5500 (KN220)";

                        /*
                         *  According to NetBSD's pmax ports page:
                         *  KN220-AA is a "30 MHz R3000 CPU with R3010 FPU"
                         *  with "512 kBytes of Prestoserve battery backed RAM."
                         */
                        if (machine->emulated_hz == 0)
                                machine->emulated_hz = 30000000;

                        /*
                         *  See KN220 docs for more info.
                         *
                         *  something at 0x10000000
                         *  something at 0x10001000
                         *  something at 0x10040000
                         *  scc at 0x10140000
                         *  qbus at (or around) 0x10080000
                         *  dssi (disk controller) buffers at 0x10100000, registers at 0x10160000.
                         *  sgec (ethernet) registers at 0x10008000, station addresss at 0x10120000.
                         *  asc (scsi) at 0x17100000.
                         */

                        dev_ssc_init(machine, mem, 0x10140000, 0, machine->use_x11, NULL);              /*  TODO:  not irq 0  */

                        /*  something at 0x17000000, ultrix says "cpu 0 panic: DS5500 I/O Board is missing" if this is not here  */
                        dev_dec5500_ioboard_init(cpu, mem, 0x17000000);

                        dev_sgec_init(mem, 0x10008000, 0);              /*  irq?  */

                        /*  The asc controller might be TURBOchannel-ish?  */
#if 0
                        dev_turbochannel_init(machine, mem, 0, 0x17100000, 0x171fffff, "PMAZ-AA", 0);   /*  irq?  */
#else
                        dev_asc_init(machine, mem, 0x17100000, 0, NULL, DEV_ASC_DEC, NULL, NULL);               /*  irq?  */
#endif

                        framebuffer_console_name = "osconsole=0,0";     /*  TODO (?)  */
                        serial_console_name      = "osconsole=0";
                        break;

                case MACHINE_DEC_MIPSMATE_5100: /*  type 12  */
                        machine->machine_name = "DEC MIPSMATE 5100 (KN230)";
                        if (machine->emulated_hz == 0)
                                machine->emulated_hz = 20000000;
                        if (machine->physical_ram_in_mb > 128)
                                fprintf(stderr, "WARNING! Real MIPSMATE 5100 machines cannot have more than 128MB RAM. Continuing anyway.\n");

                        if (machine->use_x11)
                                fprintf(stderr, "WARNING! Real MIPSMATE 5100 machines cannot have a graphical framebuffer. Continuing anyway.\n");

                        /*  KN230 interrupts:  */
                        machine->md_interrupt = kn230_interrupt;

                        /*
                         *  According to NetBSD/pmax:
                         *  dc0 at ibus0 addr 0x1c000000
                         *  le0 at ibus0 addr 0x18000000: address 00:00:00:00:00:00
                         *  sii0 at ibus0 addr 0x1a000000
                         */
                        dev_mc146818_init(machine, mem, KN230_SYS_CLOCK, 4, MC146818_DEC, 1);
                        dev_dc7085_init(machine, mem, KN230_SYS_DZ0, KN230_CSR_INTR_DZ0, machine->use_x11);             /*  NOTE: CSR_INTR  */
                        /* dev_dc7085_init(machine, mem, KN230_SYS_DZ1, KN230_CSR_INTR_OPT0, machine->use_x11); */      /*  NOTE: CSR_INTR  */
                        /* dev_dc7085_init(machine, mem, KN230_SYS_DZ2, KN230_CSR_INTR_OPT1, machine->use_x11); */      /*  NOTE: CSR_INTR  */
                        dev_le_init(machine, mem, KN230_SYS_LANCE, KN230_SYS_LANCE_B_START, KN230_SYS_LANCE_B_END, KN230_CSR_INTR_LANCE, 4*1048576);
                        dev_sii_init(machine, mem, KN230_SYS_SII, KN230_SYS_SII_B_START, KN230_SYS_SII_B_END, KN230_CSR_INTR_SII);

                        snprintf(tmpstr, sizeof(tmpstr) - 1,
                            "kn230 addr=0x%llx", (long long)KN230_SYS_ICSR);
                        machine->kn230_csr = device_add(machine, tmpstr);

                        serial_console_name = "osconsole=0";
                        break;

                default:
                        ;
                }

                /*
                 *  Most OSes on DECstation use physical addresses below
                 *  0x20000000, but OSF/1 seems to use 0xbe...... as if it was
                 *  0x1e......, so we need this hack:
                 */
                dev_ram_init(mem, 0xa0000000, 0x20000000, DEV_RAM_MIRROR, 0x0);

                /*  DECstation PROM stuff:  (TODO: endianness)  */
                for (i=0; i<100; i++)
                        store_32bit_word(cpu, DEC_PROM_CALLBACK_STRUCT + i*4,
                            DEC_PROM_EMULATION + i*8);

                /*  Fill PROM with dummy return instructions:  (TODO: make this nicer)  */
                for (i=0; i<100; i++) {
                        store_32bit_word(cpu, DEC_PROM_EMULATION + i*8,
                            0x03e00008);        /*  return  */
                        store_32bit_word(cpu, DEC_PROM_EMULATION + i*8 + 4,
                            0x00000000);        /*  nop  */
                }

                /*
                 *  According to dec_prom.h from NetBSD:
                 *
                 *  "Programs loaded by the new PROMs pass the following arguments:
                 *      a0      argc
                 *      a1      argv
                 *      a2      DEC_PROM_MAGIC
                 *      a3      The callback vector defined below"
                 *
                 *  So we try to emulate a PROM, even though no such thing has been
                 *  loaded.
                 */

                cpu->cd.mips.gpr[MIPS_GPR_A0] = 3;
                cpu->cd.mips.gpr[MIPS_GPR_A1] = DEC_PROM_INITIAL_ARGV;
                cpu->cd.mips.gpr[MIPS_GPR_A2] = DEC_PROM_MAGIC;
                cpu->cd.mips.gpr[MIPS_GPR_A3] = DEC_PROM_CALLBACK_STRUCT;

                store_32bit_word(cpu, INITIAL_STACK_POINTER + 0x10,
                    BOOTINFO_MAGIC);
                store_32bit_word(cpu, INITIAL_STACK_POINTER + 0x14,
                    BOOTINFO_ADDR);

                store_32bit_word(cpu, DEC_PROM_INITIAL_ARGV,
                    (DEC_PROM_INITIAL_ARGV + 0x10));
                store_32bit_word(cpu, DEC_PROM_INITIAL_ARGV+4,
                    (DEC_PROM_INITIAL_ARGV + 0x70));
                store_32bit_word(cpu, DEC_PROM_INITIAL_ARGV+8,
                    (DEC_PROM_INITIAL_ARGV + 0xe0));
                store_32bit_word(cpu, DEC_PROM_INITIAL_ARGV+12, 0);

                /*
                 *  NetBSD and Ultrix expect the boot args to be like this:
                 *
                 *      "boot" "bootdev" [args?]
                 *
                 *  where bootdev is supposed to be "rz(0,0,0)netbsd" for
                 *  3100/2100 (although that crashes Ultrix :-/), and
                 *  "5/rz0a/netbsd" for all others.  The number '5' is the
                 *  slot number of the boot device.
                 *
                 *  'rz' for disks, 'tz' for tapes.
                 *
                 *  TODO:  Make this nicer.
                 */
                {
                        char bootpath[200];

#if 0
                        if (machine->machine_subtype == MACHINE_DEC_PMAX_3100)
                                strcpy(bootpath, "rz(0,0,0)");
                        else
#endif
                                strcpy(bootpath, "5/rz1/");

                        if (bootdev_id < 0 || machine->force_netboot) {
                                /*  tftp boot:  */
                                strcpy(bootpath, "5/tftp/");
                                bootpath[0] = '0' + boot_net_boardnumber;
                        } else {
                                /*  disk boot:  */
                                bootpath[0] = '0' + boot_scsi_boardnumber;
                                if (diskimage_is_a_tape(machine, bootdev_id))
                                        bootpath[2] = 't';
                                bootpath[4] = '0' + bootdev_id;
                        }

                        init_bootpath = bootpath;
                }

                bootarg = malloc(strlen(init_bootpath) +
                    strlen(machine->boot_kernel_filename) + 1 +
                    strlen(machine->boot_string_argument) + 1);
                strcpy(bootarg, init_bootpath);
                strcat(bootarg, machine->boot_kernel_filename);

                bootstr = "boot";

                store_string(cpu, DEC_PROM_INITIAL_ARGV+0x10, bootstr);
                store_string(cpu, DEC_PROM_INITIAL_ARGV+0x70, bootarg);
                store_string(cpu, DEC_PROM_INITIAL_ARGV+0xe0,
                    machine->boot_string_argument);

                /*  Decrease the nr of args, if there are no args :-)  */
                if (machine->boot_string_argument == NULL ||
                    machine->boot_string_argument[0] == '\0')
                        cpu->cd.mips.gpr[MIPS_GPR_A0] --;

                if (machine->boot_string_argument[0] != '\0') {
                        strcat(bootarg, " ");
                        strcat(bootarg, machine->boot_string_argument);
                }

                xx.a.common.next = (char *)&xx.b - (char *)&xx;
                xx.a.common.type = BTINFO_MAGIC;
                xx.a.magic = BOOTINFO_MAGIC;

                xx.b.common.next = (char *)&xx.c - (char *)&xx.b;
                xx.b.common.type = BTINFO_BOOTPATH;
                strcpy(xx.b.bootpath, bootstr);

                xx.c.common.next = 0;
                xx.c.common.type = BTINFO_SYMTAB;
                xx.c.nsym = 0;
                xx.c.ssym = 0;
                xx.c.esym = machine->file_loaded_end_addr;

                store_buf(cpu, BOOTINFO_ADDR, (char *)&xx, sizeof(xx));

                /*
                 *  The system's memmap:  (memmap is a global variable, in
                 *  dec_prom.h)
                 */
                store_32bit_word_in_host(cpu,
                    (unsigned char *)&memmap.pagesize, 4096);
                {
                        unsigned int i;
                        for (i=0; i<sizeof(memmap.bitmap); i++)
                                memmap.bitmap[i] = ((int)i * 4096*8 <
                                    1048576*machine->physical_ram_in_mb)?
                                    0xff : 0x00;
                }
                store_buf(cpu, DEC_MEMMAP_ADDR, (char *)&memmap, sizeof(memmap));

                /*  Environment variables:  */
                addr = DEC_PROM_STRINGS;

                if (machine->use_x11 && machine->n_gfx_cards > 0)
                        /*  (0,3)  Keyboard and Framebuffer  */
                        add_environment_string(cpu, framebuffer_console_name, &addr);
                else
                        /*  Serial console  */
                        add_environment_string(cpu, serial_console_name, &addr);

                /*
                 *  The KN5800 (SMP system) uses a CCA (console communications
                 *  area):  (See VAX 6000 documentation for details.)
                 */
                {
                        char tmps[300];
                        sprintf(tmps, "cca=%x",
                            (int)(DEC_DECCCA_BASEADDR + 0xa0000000ULL));
                        add_environment_string(cpu, tmps, &addr);
                }

                /*  These are needed for Sprite to boot:  */
                {
                        char tmps[300];

                        sprintf(tmps, "boot=%s", bootarg);
                        add_environment_string(cpu, tmps, &addr);

                        sprintf(tmps, "bitmap=0x%x", (uint32_t)((
                            DEC_MEMMAP_ADDR + sizeof(memmap.pagesize))
                            & 0xffffffffULL));
                        add_environment_string(cpu, tmps, &addr);

                        sprintf(tmps, "bitmaplen=0x%x",
                            machine->physical_ram_in_mb * 1048576 / 4096 / 8);
                        add_environment_string(cpu, tmps, &addr);
                }

                add_environment_string(cpu, "scsiid0=7", &addr);
                add_environment_string(cpu, "bootmode=a", &addr);
                add_environment_string(cpu, "testaction=q", &addr);
                add_environment_string(cpu, "haltaction=h", &addr);
                add_environment_string(cpu, "more=24", &addr);

                /*  Used in at least Ultrix on the 5100:  */
                add_environment_string(cpu, "scsiid=7", &addr);
                add_environment_string(cpu, "baud0=9600", &addr);
                add_environment_string(cpu, "baud1=9600", &addr);
                add_environment_string(cpu, "baud2=9600", &addr);
                add_environment_string(cpu, "baud3=9600", &addr);
                add_environment_string(cpu, "iooption=0x1", &addr);

                /*  The end:  */
                add_environment_string(cpu, "", &addr);

                break;

        case MACHINE_COBALT:
                cpu->byte_order = EMUL_LITTLE_ENDIAN;
                machine->machine_name = "Cobalt";

                /*
                 *  Interrupts seem to be the following:
                 *  (according to http://www.funet.fi/pub/Linux/PEOPLE/Linus/v2.4/patch-html/patch-2.4.19/linux-2.4.19_arch_mips_cobalt_irq.c.html)
                 *
                 *      2       Galileo chip (timer)
                 *      3       Tulip 0 + NCR SCSI
                 *      4       Tulip 1
                 *      5       16550 UART (serial console)
                 *      6       VIA southbridge PIC
                 *      7       PCI
                 */
/*              dev_XXX_init(cpu, mem, 0x10000000, machine->emulated_hz);       */
                dev_mc146818_init(machine, mem, 0x10000070, 0, MC146818_PC_CMOS, 4);
                machine->main_console_handle = dev_ns16550_init(machine, mem,
                    0x1c800000, 5, 1, 1, "serial console");

                /*
                 *  According to NetBSD/cobalt:
                 *
                 *  pchb0 at pci0 dev 0 function 0: Galileo GT-64111 System Controller, rev 1   (NOTE: added by dev_gt_init())
                 *  tlp0 at pci0 dev 7 function 0: DECchip 21143 Ethernet, pass 4.1
                 *  Symbios Logic 53c860 (SCSI mass storage, revision 0x02) at pci0 dev 8
                 *  pcib0 at pci0 dev 9 function 0, VIA Technologies VT82C586 (Apollo VP) PCI-ISA Bridge, rev 37
                 *  pciide0 at pci0 dev 9 function 1: VIA Technologies VT82C586 (Apollo VP) ATA33 cr
                 *  tlp1 at pci0 dev 12 function 0: DECchip 21143 Ethernet, pass 4.1
                 */
                pci_data = dev_gt_init(machine, mem, 0x14000000, 2, 6); /*  7 for PCI, not 6?  */
                /*  bus_pci_add(machine, pci_data, mem, 0,  7, 0, pci_dec21143_init, pci_dec21143_rr);  */
                bus_pci_add(machine, pci_data, mem, 0,  8, 0, NULL, NULL);  /*  PCI_VENDOR_SYMBIOS, PCI_PRODUCT_SYMBIOS_860  */
                bus_pci_add(machine, pci_data, mem, 0,  9, 0, pci_vt82c586_isa_init, pci_vt82c586_isa_rr);
                bus_pci_add(machine, pci_data, mem, 0,  9, 1, pci_vt82c586_ide_init, pci_vt82c586_ide_rr);
                /*  bus_pci_add(machine, pci_data, mem, 0, 12, 0, pci_dec21143_init, pci_dec21143_rr);  */

                /*
                 *  NetBSD/cobalt expects memsize in a0, but it seems that what
                 *  it really wants is the end of memory + 0x80000000.
                 *
                 *  The bootstring should be stored starting 512 bytes before end
                 *  of physical ram.
                 */
                cpu->cd.mips.gpr[MIPS_GPR_A0] = machine->physical_ram_in_mb * 1048576 + 0x80000000;
                bootstr = "root=/dev/hda1 ro";
                /*  bootstr = "nfsroot=/usr/cobalt/";  */
                store_string(cpu, 0xffffffff80000000ULL +
                    machine->physical_ram_in_mb * 1048576 - 512, bootstr);
                break;

        case MACHINE_HPCMIPS:
                cpu->byte_order = EMUL_LITTLE_ENDIAN;
                memset(&hpc_bootinfo, 0, sizeof(hpc_bootinfo));
                /*  TODO:  set platid from netbsd/usr/src/sys/arch/hpc/include/platid*  */
                /*
                #define PLATID_FLAGS_SHIFT              0
                #define PLATID_CPU_SUBMODEL_SHIFT       8
                #define PLATID_CPU_MODEL_SHIFT          14
                #define PLATID_CPU_SERIES_SHIFT         20
                #define PLATID_CPU_ARCH_SHIFT           26

                #define PLATID_SUBMODEL_SHIFT           0
                #define PLATID_MODEL_SHIFT              8
                #define PLATID_SERIES_SHIFT             16
                #define PLATID_VENDOR_SHIFT             22
                */

                /*
                NOTE: See http://forums.projectmayo.com/viewtopic.php?topic=2743&forum=23
                for info on framebuffer addresses.
                */

                switch (machine->machine_subtype) {
                case MACHINE_HPCMIPS_CASIO_BE300:
                        /*  166MHz VR4131  */
                        machine->machine_name = "Casio Cassiopeia BE-300";
                        hpcmips_fb_addr = 0x0a200000;
                        hpcmips_fb_xsize = 240;
                        hpcmips_fb_ysize = 320;
                        hpcmips_fb_xsize_mem = 256;
                        hpcmips_fb_ysize_mem = 320;
                        hpcmips_fb_bits = 15;
                        hpcmips_fb_encoding = BIFB_D16_0000;

                        machine->main_console_handle = dev_ns16550_init(
                            machine, mem, 0xa008680, 0, 4,
                            machine->use_x11? 0 : 1, "serial console");  /*  TODO: irq?  */
                        machine->vr41xx_data = dev_vr41xx_init(machine, mem, 4131);
                        machine->md_interrupt = vr41xx_interrupt;

                        store_32bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.platid_cpu,
                              (1 << 26)         /*  1 = MIPS  */
                            + (1 << 20)         /*  1 = VR  */
                            + (1 << 14)         /*  1 = VR41XX  */
                            + (6 <<  8)         /*  6 = VR4131  */
                            );
                        store_32bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.platid_machine,
                              (3 << 22)         /*  22: vendor  3=casio */
                            + (1 << 16)         /*  16: series  1=CASSIOPEIAE*/
                            + (2 <<  8)         /*   8: model   2=EXXX*/
                            + (3)               /*   0: submodel 3=E500 */
                            );
                        /*  TODO: Don't use model number for E500, it's a BE300!  */
                        break;
                case MACHINE_HPCMIPS_CASIO_E105:
                        /*  131MHz VR4121  */
                        machine->machine_name = "Casio Cassiopeia E-105";
                        hpcmips_fb_addr = 0x0a200000;   /*  TODO?  */
                        hpcmips_fb_xsize = 240;
                        hpcmips_fb_ysize = 320;
                        hpcmips_fb_xsize_mem = 256;
                        hpcmips_fb_ysize_mem = 320;
                        hpcmips_fb_bits = 16;
                        hpcmips_fb_encoding = BIFB_D16_0000;

                        machine->main_console_handle = dev_ns16550_init(
                            machine, mem, 0xa008680, 0, 4,
                            machine->use_x11? 0 : 1, "serial console");  /*  TODO: irq?  */
                        machine->vr41xx_data = dev_vr41xx_init(machine, mem, 4121);
                        machine->md_interrupt = vr41xx_interrupt;

                        store_32bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.platid_cpu,
                              (1 << 26)         /*  1 = MIPS  */
                            + (1 << 20)         /*  1 = VR  */
                            + (1 << 14)         /*  1 = VR41XX  */
                            + (3 <<  8)         /*  3 = VR4121  */
                            );
                        store_32bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.platid_machine,
                              (3 << 22)         /*  22: vendor  3=casio */
                            + (1 << 16)         /*  16: series  1=CASSIOPEIAE*/
                            + (2 <<  8)         /*   8: model   2=EXXX*/
                            + (2)               /*   0: submodel 2=E105  */
                            );
                        break;
                case MACHINE_HPCMIPS_NEC_MOBILEPRO_770:
                        /*  131 MHz VR4121  */
                        machine->machine_name = "NEC MobilePro 770";
                        /*  TODO:  */
                        hpcmips_fb_addr = 0xa000000;
                        hpcmips_fb_xsize = 640;
                        hpcmips_fb_ysize = 240;
                        hpcmips_fb_xsize_mem = 800;
                        hpcmips_fb_ysize_mem = 240;
                        hpcmips_fb_bits = 16;
                        hpcmips_fb_encoding = BIFB_D16_0000;

                        machine->vr41xx_data = dev_vr41xx_init(machine, mem, 4121);
                        machine->md_interrupt = vr41xx_interrupt;

                        store_32bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.platid_cpu,
                              (1 << 26)         /*  1 = MIPS  */
                            + (1 << 20)         /*  1 = VR  */
                            + (1 << 14)         /*  1 = VR41XX  */
                            + (3 <<  8)         /*  3 = VR4121  */
                            );
                        store_32bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.platid_machine,
                              (1 << 22)         /*  22: vendor  1=NEC  */
                            + (2 << 16)         /*  16: series  2="NEC MCR" */
                            + (2 <<  8)         /*   8: model   2="MCR 5XX" */
                            + (4)               /*   0: submodel 4="MCR 520A" */
                            );
                        break;
                case MACHINE_HPCMIPS_NEC_MOBILEPRO_780:
                        /*  166 (or 168) MHz VR4121  */
                        machine->machine_name = "NEC MobilePro 780";
                        /*  TODO:  */
                        hpcmips_fb_addr = 0xa180100;
                        hpcmips_fb_xsize = 640;
                        hpcmips_fb_ysize = 240;
                        hpcmips_fb_xsize_mem = 640;
                        hpcmips_fb_ysize_mem = 240;
                        hpcmips_fb_bits = 16;
                        hpcmips_fb_encoding = BIFB_D16_0000;

                        machine->vr41xx_data = dev_vr41xx_init(machine, mem, 4121);
                        machine->md_interrupt = vr41xx_interrupt;

                        store_32bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.platid_cpu,
                              (1 << 26)         /*  1 = MIPS  */
                            + (1 << 20)         /*  1 = VR  */
                            + (1 << 14)         /*  1 = VR41XX  */
                            + (3 <<  8)         /*  3 = VR4121  */
                            );
                        store_32bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.platid_machine,
                              (1 << 22)         /*  22: vendor  1=NEC  */
                            + (2 << 16)         /*  16: series  2="NEC MCR" */
                            + (2 <<  8)         /*   8: model   2="MCR 5XX" */
                            + (8)               /*   0: submodel 8="MCR 530A" */
                            );
                        break;
                case MACHINE_HPCMIPS_NEC_MOBILEPRO_800:
                        /*  131 MHz VR4121  */
                        machine->machine_name = "NEC MobilePro 800";
                        /*  TODO:  */
                        hpcmips_fb_addr = 0xa000000;
                        hpcmips_fb_xsize = 800;
                        hpcmips_fb_ysize = 600;
                        hpcmips_fb_xsize_mem = 800;
                        hpcmips_fb_ysize_mem = 600;
                        hpcmips_fb_bits = 16;
                        hpcmips_fb_encoding = BIFB_D16_0000;

                        machine->vr41xx_data = dev_vr41xx_init(machine, mem, 4121);
                        machine->md_interrupt = vr41xx_interrupt;

                        store_32bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.platid_cpu,
                              (1 << 26)         /*  1 = MIPS  */
                            + (1 << 20)         /*  1 = VR  */
                            + (1 << 14)         /*  1 = VR41XX  */
                            + (3 <<  8)         /*  3 = VR4121  */
                            );
                        store_32bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.platid_machine,
                              (1 << 22)         /*  22: vendor  1=NEC  */
                            + (2 << 16)         /*  16: series  2="NEC MCR" */
                            + (3 <<  8)         /*   8: model   3="MCR 7XX" */
                            + (2)               /*   0: submodel 2="MCR 700A" */
                            );
                        break;
                case MACHINE_HPCMIPS_NEC_MOBILEPRO_880:
                        /*  168 MHz VR4121  */
                        machine->machine_name = "NEC MobilePro 880";
                        /*  TODO:  */
                        hpcmips_fb_addr = 0xa0ea600;
                        hpcmips_fb_xsize = 800;
                        hpcmips_fb_ysize = 600;
                        hpcmips_fb_xsize_mem = 800;
                        hpcmips_fb_ysize_mem = 600;
                        hpcmips_fb_bits = 16;
                        hpcmips_fb_encoding = BIFB_D16_0000;

                        machine->vr41xx_data = dev_vr41xx_init(machine, mem, 4121);
                        machine->md_interrupt = vr41xx_interrupt;

                        store_32bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.platid_cpu,
                              (1 << 26)         /*  1 = MIPS  */
                            + (1 << 20)         /*  1 = VR  */
                            + (1 << 14)         /*  1 = VR41XX  */
                            + (3 <<  8)         /*  3 = VR4121  */
                            );
                        store_32bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.platid_machine,
                              (1 << 22)         /*  22: vendor  1=NEC  */
                            + (2 << 16)         /*  16: series  2="NEC MCR" */
                            + (3 <<  8)         /*   8: model   3="MCR 7XX" */
                            + (4)               /*   0: submodel 4="MCR 730A" */
                            );
                        break;
                case MACHINE_HPCMIPS_AGENDA_VR3:
                        /*  66 MHz VR4181  */
                        machine->machine_name = "Agenda VR3";
                        /*  TODO:  */
                        hpcmips_fb_addr = 0x1000;
                        hpcmips_fb_xsize = 160;
                        hpcmips_fb_ysize = 240;
                        hpcmips_fb_xsize_mem = 160;
                        hpcmips_fb_ysize_mem = 240;
                        hpcmips_fb_bits = 4;
                        hpcmips_fb_encoding = BIFB_D4_M2L_F;

                        machine->vr41xx_data = dev_vr41xx_init(machine, mem, 4181);
                        machine->md_interrupt = vr41xx_interrupt;

                        /*  TODO: Hm... irq 17 according to linux, but
                            VRIP_INTR_SIU (=9) here?  */
                        {
                                int x;
                                x = dev_ns16550_init(machine, mem, 0x0c000010,
                                    8 + VRIP_INTR_SIU, 1, 1, "serial 0");

                                if (!machine->use_x11)
                                        machine->main_console_handle = x;
                        }

                        store_32bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.platid_cpu,
                              (1 << 26)         /*  1 = MIPS  */
                            + (1 << 20)         /*  1 = VR  */
                            + (1 << 14)         /*  1 = VR41XX  */
                            + (4 <<  8)         /*  4 = VR4181  */
                            );
                        store_32bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.platid_machine,
                              (15 << 22)        /*  22: vendor  15=Agenda  */
                            + (1 << 16)         /*  16: series  2=VR */
                            + (1 <<  8)         /*   8: model   1=VR3  */
                            + (0)               /*   0: submodel 0="VR3" */
                            );

                        dev_ram_init(mem, 0x0f000000, 0x01000000, DEV_RAM_MIRROR, 0x0);
                        break;
                case MACHINE_HPCMIPS_IBM_WORKPAD_Z50:
                        /*  131 MHz VR4121  */
                        machine->machine_name = "Agenda VR3";
                        /*  TODO:  */
                        hpcmips_fb_addr = 0xa000000;
                        hpcmips_fb_xsize = 640;
                        hpcmips_fb_ysize = 480;
                        hpcmips_fb_xsize_mem = 640;
                        hpcmips_fb_ysize_mem = 480;
                        hpcmips_fb_bits = 16;
                        hpcmips_fb_encoding = BIFB_D16_0000;

                        machine->vr41xx_data = dev_vr41xx_init(machine, mem, 4121);
                        machine->md_interrupt = vr41xx_interrupt;

                        store_32bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.platid_cpu,
                              (1 << 26)         /*  1 = MIPS  */
                            + (1 << 20)         /*  1 = VR  */
                            + (1 << 14)         /*  1 = VR41XX  */
                            + (3 <<  8)         /*  3 = VR4121  */
                            );
                        store_32bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.platid_machine,
                              (9 << 22)         /*  22: vendor  9=IBM  */
                            + (1 << 16)         /*  16: series  1=WorkPad */
                            + (1 <<  8)         /*   8: model   1=Z50  */
                            + (0)               /*   0: submodel 0 */
                            );
                        break;
                default:
                        printf("Unimplemented hpcmips machine number.\n");
                        exit(1);
                }

                if (machine->use_x11)
                        machine->main_console_handle =
                            machine->vr41xx_data->kiu_console_handle;

                /*  NetBSD/hpcmips and possibly others expects the following:  */

                cpu->cd.mips.gpr[MIPS_GPR_A0] = 1;      /*  argc  */
                cpu->cd.mips.gpr[MIPS_GPR_A1] = machine->physical_ram_in_mb * 1048576
                    + 0xffffffff80000000ULL - 512;      /*  argv  */
                cpu->cd.mips.gpr[MIPS_GPR_A2] = machine->physical_ram_in_mb * 1048576
                    + 0xffffffff80000000ULL - 256;      /*  ptr to hpc_bootinfo  */

                bootstr = machine->boot_kernel_filename;
                store_32bit_word(cpu, 0x80000000 + machine->physical_ram_in_mb * 1048576 - 512, 0x80000000 + machine->physical_ram_in_mb * 1048576 - 512 + 16);
                store_32bit_word(cpu, 0x80000000 + machine->physical_ram_in_mb * 1048576 - 512 + 4, 0);
                store_string(cpu, 0x80000000 + machine->physical_ram_in_mb * 1048576 - 512 + 16, bootstr);

                /*  Special case for the Agenda VR3:  */
                if (machine->machine_subtype == MACHINE_HPCMIPS_AGENDA_VR3) {
                        const int tmplen = 1000;
                        char *tmp = malloc(tmplen);

                        cpu->cd.mips.gpr[MIPS_GPR_A0] = 2;      /*  argc  */

                        store_32bit_word(cpu, 0x80000000 + machine->physical_ram_in_mb * 1048576 - 512 + 4, 0x80000000 + machine->physical_ram_in_mb * 1048576 - 512 + 64);
                        store_32bit_word(cpu, 0x80000000 + machine->physical_ram_in_mb * 1048576 - 512 + 8, 0);

                        snprintf(tmp, tmplen, "root=/dev/rom video=vr4181fb:xres:160,yres:240,bpp:4,"
                            "gray,hpck:3084,inv ether=0,0x03fe0300,eth0");
                        tmp[tmplen-1] = '\0';

                        if (!machine->use_x11)
                                snprintf(tmp+strlen(tmp), tmplen-strlen(tmp), " console=ttyS0,115200");
                        tmp[tmplen-1] = '\0';

                        if (machine->boot_string_argument[0])
                                snprintf(tmp+strlen(tmp), tmplen-strlen(tmp), " %s", machine->boot_string_argument);
                        tmp[tmplen-1] = '\0';

                        store_string(cpu, 0x80000000 + machine->physical_ram_in_mb * 1048576 - 512 + 64, tmp);

                        bootarg = tmp;
                } else if (machine->boot_string_argument[0]) {
                        cpu->cd.mips.gpr[MIPS_GPR_A0] ++;       /*  argc  */

                        store_32bit_word(cpu, 0x80000000 + machine->physical_ram_in_mb * 1048576 - 512 + 4, 0x80000000 + machine->physical_ram_in_mb * 1048576 - 512 + 64);
                        store_32bit_word(cpu, 0x80000000 + machine->physical_ram_in_mb * 1048576 - 512 + 8, 0);

                        store_string(cpu, 0x80000000 + machine->physical_ram_in_mb * 1048576 - 512 + 64,
                            machine->boot_string_argument);

                        bootarg = machine->boot_string_argument;
                }

                store_16bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.length, sizeof(hpc_bootinfo));
                store_32bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.magic, HPC_BOOTINFO_MAGIC);
                store_32bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.fb_addr, 0x80000000 + hpcmips_fb_addr);
                store_16bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.fb_line_bytes, hpcmips_fb_xsize_mem * (((hpcmips_fb_bits-1)|7)+1) / 8);
                store_16bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.fb_width, hpcmips_fb_xsize);
                store_16bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.fb_height, hpcmips_fb_ysize);
                store_16bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.fb_type, hpcmips_fb_encoding);
                store_16bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.bi_cnuse, BI_CNUSE_BUILTIN);  /*  _BUILTIN or _SERIAL  */

                /*  printf("hpc_bootinfo.platid_cpu     = 0x%08x\n", hpc_bootinfo.platid_cpu);
                    printf("hpc_bootinfo.platid_machine = 0x%08x\n", hpc_bootinfo.platid_machine);  */
                store_32bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.timezone, 0);
                store_buf(cpu, 0x80000000 + machine->physical_ram_in_mb * 1048576 - 256, (char *)&hpc_bootinfo, sizeof(hpc_bootinfo));

                if (hpcmips_fb_addr != 0) {
                        dev_fb_init(machine, mem, hpcmips_fb_addr, VFB_HPCMIPS,
                            hpcmips_fb_xsize, hpcmips_fb_ysize,
                            hpcmips_fb_xsize_mem, hpcmips_fb_ysize_mem,
                            hpcmips_fb_bits, "HPCmips", 0);

                        /*  NetBSD/hpcmips uses framebuffer at physical
                            address 0x8.......:  */
                        dev_ram_init(mem, 0x80000000, 0x20000000,
                            DEV_RAM_MIRROR, 0x0);
                }

                break;

        case MACHINE_PS2:
                cpu->byte_order = EMUL_LITTLE_ENDIAN;
                machine->machine_name = "Playstation 2";

                if (machine->physical_ram_in_mb != 32)
                        fprintf(stderr, "WARNING! Playstation 2 machines are supposed to have exactly 32 MB RAM. Continuing anyway.\n");
                if (!machine->use_x11)
                        fprintf(stderr, "WARNING! Playstation 2 without -X is pretty meaningless. Continuing anyway.\n");

                /*
                 *  According to NetBSD:
                 *      Hardware irq 0 is timer/interrupt controller
                 *      Hardware irq 1 is dma controller
                 *
                 *  Some things are not yet emulated (at all), and hence are detected incorrectly:
                 *      sbus0 at mainbus0: controller type 2
                 *      ohci0 at sbus0                  (at 0x1f801600, according to linux)
                 *      ohci0: OHCI version 1.0
                 */

                machine->ps2_data = dev_ps2_stuff_init(machine, mem, 0x10000000);
                device_add(machine, "ps2_gs addr=0x12000000");
                device_add(machine, "ps2_ether addr=0x14001000");
                dev_ram_init(mem, 0x1c000000, 4 * 1048576, DEV_RAM_RAM, 0);     /*  TODO: how much?  */
                /*  irq = 8 + 32 + 1 (SBUS/USB)  */
                device_add(machine, "ohci addr=0x1f801600 irq=41");

                machine->md_interrupt = ps2_interrupt;

                add_symbol_name(&machine->symbol_context,
                    PLAYSTATION2_SIFBIOS, 0x10000, "[SIFBIOS entry]", 0);
                store_32bit_word(cpu, PLAYSTATION2_BDA + 0, PLAYSTATION2_SIFBIOS);
                store_buf(cpu, PLAYSTATION2_BDA + 4, "PS2b", 4);

                /*  Set the Harddisk controller present flag, if either
                    disk 0 or 1 is present:  */
                if (diskimage_exist(machine, 0) || diskimage_exist(machine, 1)) {
                        store_32bit_word(cpu, 0xa0000000 + machine->physical_ram_in_mb*1048576 - 0x1000 + 0x0, 0x100);
                        dev_ps2_spd_init(machine, mem, 0x14000000);
                }

                store_32bit_word(cpu, 0xa0000000 + machine->physical_ram_in_mb*1048576 - 0x1000 + 0x4, PLAYSTATION2_OPTARGS);
                {
                        int tmplen = 1000;
                        char *tmp = malloc(tmplen);
                        if (tmp == NULL) {
                                fprintf(stderr, "out of memory\n");
                                exit(1);
                        }

                        strcpy(tmp, "root=/dev/hda1 crtmode=vesa0,60");

                        if (machine->boot_string_argument[0])
                                snprintf(tmp+strlen(tmp), tmplen-strlen(tmp),
                                    " %s", machine->boot_string_argument);
                        tmp[tmplen-1] = '\0';

                        bootstr = tmp;
                        store_string(cpu, PLAYSTATION2_OPTARGS, bootstr);
                }

                /*  TODO:  netbsd's bootinfo.h, for symbolic names  */
                {
                        time_t timet;
                        struct tm *tmp;

                        /*  RTC data given by the BIOS:  */
                        timet = time(NULL) + 9*3600;    /*  PS2 uses Japanese time  */
                        tmp = gmtime(&timet);
                        /*  TODO:  are these 0- or 1-based?  */
                        store_byte(cpu, 0xa0000000 + machine->physical_ram_in_mb*1048576 - 0x1000 + 0x10 + 1, int_to_bcd(tmp->tm_sec));
                        store_byte(cpu, 0xa0000000 + machine->physical_ram_in_mb*1048576 - 0x1000 + 0x10 + 2, int_to_bcd(tmp->tm_min));
                        store_byte(cpu, 0xa0000000 + machine->physical_ram_in_mb*1048576 - 0x1000 + 0x10 + 3, int_to_bcd(tmp->tm_hour));
                        store_byte(cpu, 0xa0000000 + machine->physical_ram_in_mb*1048576 - 0x1000 + 0x10 + 5, int_to_bcd(tmp->tm_mday));
                        store_byte(cpu, 0xa0000000 + machine->physical_ram_in_mb*1048576 - 0x1000 + 0x10 + 6, int_to_bcd(tmp->tm_mon + 1));
                        store_byte(cpu, 0xa0000000 + machine->physical_ram_in_mb*1048576 - 0x1000 + 0x10 + 7, int_to_bcd(tmp->tm_year - 100));
                }

                /*  "BOOTINFO_PCMCIA_TYPE" in NetBSD's bootinfo.h. This contains the sbus controller type.  */
                store_32bit_word(cpu, 0xa0000000 + machine->physical_ram_in_mb*1048576 - 0x1000 + 0x1c, 2);

                break;

        case MACHINE_SGI:
        case MACHINE_ARC:
                /*
                 *  SGI and ARC emulation share a lot of code. (SGI is a special case of
                 *  "almost ARC".)
                 *
                 *  http://obsolete.majix.org/computers/sgi/iptable.shtml contains a pretty
                 *  detailed list of IP ("Inhouse Processor") model numbers.
                 *  (Or http://hardware.majix.org/computers/sgi/iptable.shtml)
                 */
                machine->machine_name = malloc(500);
                if (machine->machine_name == NULL) {
                        fprintf(stderr, "out of memory\n");
                        exit(1);
                }
                short_machine_name = malloc(500);
                if (short_machine_name == NULL) {
                        fprintf(stderr, "out of memory\n");
                        exit(1);
                }

                if (machine->machine_type == MACHINE_SGI) {
                        cpu->byte_order = EMUL_BIG_ENDIAN;
                        sprintf(short_machine_name, "SGI-IP%i", machine->machine_subtype);
                        sprintf(machine->machine_name, "SGI-IP%i", machine->machine_subtype);

                        /*  Super-special case for IP24:  */
                        if (machine->machine_subtype == 24)
                                sprintf(short_machine_name, "SGI-IP22");

                        sgi_ram_offset = 1048576 * machine->memory_offset_in_mb;

                        /*  Special cases for IP20,22,24,26 memory offset:  */
                        if (machine->machine_subtype == 20 || machine->machine_subtype == 22 ||
                            machine->machine_subtype == 24 || machine->machine_subtype == 26) {
                                dev_ram_init(mem, 0x00000000, 0x10000, DEV_RAM_MIRROR, sgi_ram_offset);
                                dev_ram_init(mem, 0x00050000, sgi_ram_offset-0x50000, DEV_RAM_MIRROR, sgi_ram_offset + 0x50000);
                        }

                        /*  Special cases for IP28,30 memory offset:  */
                        if (machine->machine_subtype == 28 || machine->machine_subtype == 30) {
                                /*  TODO: length below should maybe not be 128MB?  */
                                dev_ram_init(mem, 0x00000000, 128*1048576, DEV_RAM_MIRROR, sgi_ram_offset);
                        }
                } else {
                        cpu->byte_order = EMUL_LITTLE_ENDIAN;
                        sprintf(short_machine_name, "ARC");
                        sprintf(machine->machine_name, "ARC");
                }

                if (machine->machine_type == MACHINE_SGI) {
                        /*  TODO:  Other SGI machine types?  */
                        switch (machine->machine_subtype) {
                        case 12:
                                strcat(machine->machine_name, " (Iris Indigo IP12)");

                                /*  TODO  */
                                /*  33 MHz R3000, according to http://www.irisindigo.com/  */
                                /*  "capable of addressing up to 96MB of memory."  */

                                break;
                        case 19:
                                strcat(machine->machine_name, " (Everest IP19)");
                                machine->main_console_handle =
                                    dev_zs_init(machine, mem, 0x1fbd9830, 0, 1, "serial zs");   /*  serial? netbsd?  */
                                dev_scc_init(machine, mem, 0x10086000, 0, machine->use_x11, 0, 8);      /*  serial? irix?  */

                                device_add(machine, "sgi_ip19 addr=0x18000000");

                                /*  Irix' <everest_du_init+0x130> reads this device:  */
                                device_add(machine, "random addr=0x10006000 len=16");

                                /*  Irix' get_mpconf() looks for this:  (TODO)  */
                                store_32bit_word(cpu, 0xa0000000 + 0x3000,
                                    0xbaddeed2);

                                /*  Memory size, not 4096 byte pages, but 256 bytes?  (16 is size of kernel... approx)  */
                                store_32bit_word(cpu, 0xa0000000 + 0x26d0,
                                    30000);  /* (machine->physical_ram_in_mb - 16) * (1048576 / 256));  */

                                break;
                        case 20:
                                strcat(machine->machine_name, " (Indigo)");

                                /*
                                 *  Guesses based on NetBSD 2.0 beta, 20040606.
                                 *
                                 *  int0 at mainbus0 addr 0x1fb801c0: bus 1MHz, CPU 2MHz
                                 *  imc0 at mainbus0 addr 0x1fa00000: revision 0
                                 *  gio0 at imc0
                                 *  unknown GIO card (product 0x00 revision 0x00) at gio0 slot 0 addr 0x1f400000 not configured
                                 *  unknown GIO card (product 0x00 revision 0x00) at gio0 slot 1 addr 0x1f600000 not configured
                                 *  unknown GIO card (product 0x00 revision 0x00) at gio0 slot 2 addr 0x1f000000 not configured
                                 *  hpc0 at gio0 addr 0x1fb80000: SGI HPC1
                                 *  zsc0 at hpc0 offset 0xd10   (channels 0 and 1, channel 1 for console)
                                 *  zsc1 at hpc0 offset 0xd00   (2 channels)
                                 *  sq0 at hpc0 offset 0x100: SGI Seeq 80c03
                                 *  wdsc0 at hpc0 offset 0x11f
                                 *  dpclock0 at hpc0 offset 0xe00
                                 */

                                /*  int0 at mainbus0 addr 0x1fb801c0  */
                                machine->sgi_ip20_data = dev_sgi_ip20_init(cpu, mem, DEV_SGI_IP20_BASE);

                                /*  imc0 at mainbus0 addr 0x1fa00000: revision 0:  TODO (or in dev_sgi_ip20?)  */

                                dev_zs_init(machine, mem, 0x1fbd9830, 0, 1, "zs console");

                                /*  This is the zsc0 reported by NetBSD:  TODO: irqs  */
                                machine->main_console_handle = dev_zs_init(machine, mem, 0x1fb80d10, 0, 1, "zsc0");     /*  zsc0  */
                                dev_zs_init(machine, mem, 0x1fb80d00, 0, 1, "zsc1");    /*  zsc1  */

                                /*  WDSC SCSI controller:  */
                                dev_wdsc_init(machine, mem, 0x1fb8011f, 0, 0);

                                /*  Return memory read errors so that hpc1
                                    and hpc2 are not detected:  */
                                device_add(machine, "unreadable addr=0x1fb00000 len=0x10000");
                                device_add(machine, "unreadable addr=0x1f980000 len=0x10000");

                                /*  Return nothing for gio slots 0, 1, and 2: */
                                device_add(machine, "unreadable addr=0x1f400000 len=0x1000");   /*  gio0 slot 0  */
                                device_add(machine, "unreadable addr=0x1f600000 len=0x1000");   /*  gio0 slot 1  */
                                device_add(machine, "unreadable addr=0x1f000000 len=0x1000");   /*  gio0 slot 2  */

                                break;
                        case 21:
                                strcat(machine->machine_name, " (uknown SGI-IP21 ?)");  /*  TODO  */
                                /*  NOTE:  Special case for arc_wordlen:  */
                                arc_wordlen = sizeof(uint64_t);

                                device_add(machine, "random addr=0x418000200, len=0x20000");

                                break;
                        case 22:
                        case 24:
                                if (machine->machine_subtype == 22) {
                                        strcat(machine->machine_name, " (Indy, Indigo2, Challenge S; Full-house)");
                                        machine->sgi_ip22_data = dev_sgi_ip22_init(machine, mem, 0x1fbd9000, 0);
                                } else {
                                        strcat(machine->machine_name, " (Indy, Indigo2, Challenge S; Guiness)");
                                        machine->sgi_ip22_data = dev_sgi_ip22_init(machine, mem, 0x1fbd9880, 1);
                                }

/*
Why is this here? TODO
                                dev_ram_init(mem, 0x88000000ULL,
                                    128 * 1048576, DEV_RAM_MIRROR, 0x08000000);
*/
                                machine->md_interrupt = sgi_ip22_interrupt;

                                /*
                                 *  According to NetBSD 1.6.2:
                                 *
                                 *  imc0 at mainbus0 addr 0x1fa00000, Revision 0
                                 *  gio0 at imc0
                                 *  hpc0 at gio0 addr 0x1fb80000: SGI HPC3
                                 *  zsc0 at hpc0 offset 0x59830
                                 *  zstty0 at zsc0 channel 1 (console i/o)
                                 *  zstty1 at zsc0 channel 0
                                 *  sq0 at hpc0 offset 0x54000: SGI Seeq 80c03  (Ethernet)
                                 *  wdsc0 at hpc0 offset 0x44000: WD33C93 SCSI, rev=0, target 7
                                 *  scsibus2 at wdsc0: 8 targets, 8 luns per target
                                 *  dsclock0 at hpc0 offset 0x60000
                                 *
                                 *  According to Linux/IP22:
                                 *  tty00 at 0xbfbd9830 (irq = 45) is a Zilog8530
                                 *  tty01 at 0xbfbd9838 (irq = 45) is a Zilog8530
                                 *
                                 *  and according to NetBSD 2.0_BETA (20040606):
                                 *
                                 *  haltwo0 at hpc0 offset 0x58000: HAL2 revision 0.0.0
                                 *  audio0 at haltwo0: half duplex
                                 *
                                 *  IRQ numbers are of the form 8 + x, where x = 0..31 for local0
                                 *  interrupts, and 32..63 for local1.  + y*65 for "mappable".
                                 */

                                /*  zsc0 serial console.  */
                                i = dev_zs_init(machine, mem, 0x1fbd9830,
                                    8 + 32 + 3 + 64*5, 1, "zsc0");

                                /*  Not supported by NetBSD 1.6.2, but by 2.0_BETA:  */
                                j = dev_pckbc_init(machine, mem, 0x1fbd9840, PCKBC_8242,
                                    0, 0, machine->use_x11);  /*  TODO: irq numbers  */

                                if (machine->use_x11)
                                        machine->main_console_handle = j;

                                /*  sq0: Ethernet.  TODO:  This should have irq_nr = 8 + 3  */
                                /*  dev_sq_init...  */

                                /*  wdsc0: SCSI  */
                                dev_wdsc_init(machine, mem, 0x1fbc4000, 0, 8 + 1);

                                /*  wdsc1: SCSI  TODO: irq nr  */
                                dev_wdsc_init(machine, mem, 0x1fbcc000, 1, 8 + 1);

                                /*  dsclock0: TODO:  possibly irq 8 + 33  */

                                /*  Return memory read errors so that hpc1 and hpc2 are not detected:  */
                                device_add(machine, "unreadable addr=0x1fb00000, len=0x10000");
                                device_add(machine, "unreadable addr=0x1f980000, len=0x10000");

                                /*  Similarly for gio slots 0, 1, and 2:  */
                                device_add(machine, "unreadable addr=0x1f400000, len=0x1000");  /*  gio0 slot 0  */
                                device_add(machine, "unreadable addr=0x1f600000, len=0x1000");  /*  gio0 slot 1  */
                                device_add(machine, "unreadable addr=0x1f000000, len=0x1000");  /*  gio0 slot 2  */

                                break;
                        case 25:
                                /*  NOTE:  Special case for arc_wordlen:  */
                                arc_wordlen = sizeof(uint64_t);
                                strcat(machine->machine_name, " (Everest IP25)");

                                 /*  serial? irix?  */
                                dev_scc_init(machine, mem,
                                    0x400086000ULL, 0, machine->use_x11, 0, 8);

                                /*  NOTE: ip19! (perhaps not really the same  */
                                device_add(machine, "sgi_ip19 addr=0x18000000");

                                /*
                                 *  Memory size, not 4096 byte pages, but 256
                                 *  bytes?  (16 is size of kernel... approx)
                                 */
                                store_32bit_word(cpu, 0xa0000000ULL + 0x26d0,
                                    30000);  /* (machine->physical_ram_in_mb - 16)
                                                 * (1048576 / 256));  */

                                break;
                        case 26:
                                /*  NOTE:  Special case for arc_wordlen:  */
                                arc_wordlen = sizeof(uint64_t);
                                strcat(machine->machine_name,
                                    " (uknown SGI-IP26 ?)");    /*  TODO  */
                                machine->main_console_handle =
                                    dev_zs_init(machine, mem, 0x1fbd9830,
                                    0, 1, "zs console");
                                break;
                        case 27:
                                strcat(machine->machine_name,
                                    " (Origin 200/2000, Onyx2)");
                                arc_wordlen = sizeof(uint64_t);
                                /*  2 cpus per node  */

                                machine->main_console_handle =
                                    dev_zs_init(machine, mem, 0x1fbd9830,
                                    0, 1, "zs console");
                                break;
                        case 28:
                                /*  NOTE:  Special case for arc_wordlen:  */
                                arc_wordlen = sizeof(uint64_t);
                                strcat(machine->machine_name, " (Impact Indigo2 ?)");

                                device_add(machine, "random addr=0x1fbe0000, len=1");

                                /*  Something at paddr 0x1880fb0000.  */

                                break;
                        case 30:
                                /*  NOTE:  Special case for arc_wordlen:  */
                                arc_wordlen = sizeof(uint64_t);
                                strcat(machine->machine_name, " (Octane)");

                                machine->sgi_ip30_data = dev_sgi_ip30_init(machine, mem, 0x0ff00000);
                                machine->md_interrupt = sgi_ip30_interrupt;

                                dev_ram_init(mem,    0xa0000000ULL,
                                    128 * 1048576, DEV_RAM_MIRROR, 0x00000000);

                                dev_ram_init(mem,    0x80000000ULL,
                                    32 * 1048576, DEV_RAM_RAM, 0x00000000);

                                /*
                                 *  Something at paddr=1f022004: TODO
                                 *  Something at paddr=813f0510 - paddr=813f0570 ?
                                 *  Something at paddr=813f04b8
                                 *  Something at paddr=f8000003c  used by Linux/Octane
                                 *
                                 *  16550 serial port at paddr=1f620178, addr mul 1
                                 *  (Error messages are printed to this serial port by the PROM.)
                                 *
                                 *  There seems to also be a serial port at 1f620170. The "symmon"
                                 *  program dumps something there, but it doesn't look like
                                 *  readable text.  (TODO)
                                 */
                                machine->main_console_handle = dev_ns16550_init(machine, mem, 0x1f620170, 0, 1,
                                    machine->use_x11? 0 : 1, "serial 0");  /*  TODO: irq?  */
                                dev_ns16550_init(machine, mem, 0x1f620178, 0, 1,
                                    0, "serial 1");  /*  TODO: irq?  */

                                /*  MardiGras graphics:  */
                                device_add(machine, "sgi_mardigras addr=0x1c000000");

                                break;
                        case 32:
                                strcat(machine->machine_name, " (O2)");

                                /*  TODO:  Find out where the physical ram is actually located.  */
                                dev_ram_init(mem, 0x07ffff00ULL,           256, DEV_RAM_MIRROR, 0x03ffff00);
                                dev_ram_init(mem, 0x10000000ULL,           256, DEV_RAM_MIRROR, 0x00000000);
                                dev_ram_init(mem, 0x11ffff00ULL,           256, DEV_RAM_MIRROR, 0x01ffff00);
                                dev_ram_init(mem, 0x12000000ULL,           256, DEV_RAM_MIRROR, 0x02000000);
                                dev_ram_init(mem, 0x17ffff00ULL,           256, DEV_RAM_MIRROR, 0x03ffff00);
                                dev_ram_init(mem, 0x20000000ULL, 128 * 1048576, DEV_RAM_MIRROR, 0x00000000);
                                dev_ram_init(mem, 0x40000000ULL, 128 * 1048576, DEV_RAM_MIRROR, 0x10000000);

                                machine->crime_data = dev_crime_init(machine, mem, 0x14000000, 2, machine->use_x11);    /*  crime0  */
                                dev_sgi_mte_init(mem, 0x15000000);                      /*  mte ??? memory thing  */
                                dev_sgi_gbe_init(machine, mem, 0x16000000);     /*  gbe?  framebuffer?  */

                                /*
                                 *  A combination of NetBSD and Linux info:
                                 *
                                 *      17000000        vice (Video Image Compression Engine)
                                 *      1f000000        mace
                                 *      1f080000        macepci
                                 *      1f100000        vin1
                                 *      1f180000        vin2
                                 *      1f200000        vout
                                 *      1f280000        enet (mec0, MAC-110 Ethernet)
                                 *      1f300000        perif:
                                 *        1f300000        audio
                                 *        1f310000        isa
                                 *          1f318000        (accessed by Irix' pciio_pio_write64)
                                 *        1f320000        kbdms
                                 *        1f330000        i2c
                                 *        1f340000        ust
                                 *      1f380000        isa ext
                                 *        1f390000        com0 (serial)
                                 *        1f398000        com1 (serial)
                                 *        1f3a0000        mcclock0
                                 */

                                machine->mace_data = dev_mace_init(mem, 0x1f310000, 2);
                                machine->md_interrupt = sgi_ip32_interrupt;

                                /*
                                 *  IRQ mapping is really ugly.  TODO: fix
                                 *
                                 *  com0 at mace0 offset 0x390000 intr 4 intrmask 0x3f00000: ns16550a, working fifo
                                 *  com1 at mace0 offset 0x398000 intr 4 intrmask 0xfc000000: ns16550a, working fifo
                                 *  pckbc0 at mace0 offset 0x320000 intr 5 intrmask 0x0
                                 *  mcclock0 at mace0 offset 0x3a0000 intrmask 0x0
                                 *  macepci0 at mace0 offset 0x80000 intr 7 intrmask 0x0: rev 1
                                 *
                                 *  intr 4 = MACE_PERIPH_SERIAL
                                 *  intr 5 = MACE_PERIPH_MISC
                                 *  intr 7 = MACE_PCI_BRIDGE
                                 */

                                i = dev_pckbc_init(machine, mem, 0x1f320000,
                                    PCKBC_8242, 0x200 + MACE_PERIPH_MISC,
                                    0x800 + MACE_PERIPH_MISC, machine->use_x11);
                                                        /*  keyb+mouse (mace irq numbers)  */

                                net_generate_unique_mac(machine, macaddr);
                                eaddr_string = malloc(30);
                                if (eaddr_string == NULL) {
                                        fprintf(stderr, "out of memory\n");
                                        exit(1);
                                }
                                sprintf(eaddr_string, "eaddr=%02x:%02x:"
                                    "%02x:%02x:%02x:%02x",
                                    macaddr[0], macaddr[1], macaddr[2],
                                    macaddr[3], macaddr[4], macaddr[5]);
                                dev_sgi_mec_init(machine, mem, 0x1f280000, MACE_ETHERNET, macaddr);

                                dev_sgi_ust_init(mem, 0x1f340000);  /*  ust?  */

                                j = dev_ns16550_init(machine, mem, 0x1f390000,
                                    (1<<20) + MACE_PERIPH_SERIAL, 0x100,
                                    machine->use_x11? 0 : 1, "serial 0");       /*  com0  */
                                dev_ns16550_init(machine, mem, 0x1f398000,
                                    (1<<26) + MACE_PERIPH_SERIAL, 0x100,
                                    0, "serial 1");                             /*  com1  */

                                if (machine->use_x11)
                                        machine->main_console_handle = i;
                                else
                                        machine->main_console_handle = j;

                                dev_mc146818_init(machine, mem, 0x1f3a0000, (1<<8) + MACE_PERIPH_MISC, MC146818_SGI, 0x40);  /*  mcclock0  */
                                dev_zs_init(machine, mem, 0x1fbd9830, 0, 1, "zs console");

                                /*
                                 *  PCI devices:   (according to NetBSD's GENERIC config file for sgimips)
                                 *
                                 *      ne*             at pci? dev ? function ?
                                 *      ahc0            at pci0 dev 1 function ?
                                 *      ahc1            at pci0 dev 2 function ?
                                 */

                                pci_data = dev_macepci_init(mem, 0x1f080000, MACE_PCI_BRIDGE);  /*  macepci0  */
                                /*  bus_pci_add(machine, pci_data, mem, 0, 0, 0, pci_ne2000_init, pci_ne2000_rr);  TODO  */
#if 1
                                bus_pci_add(machine, pci_data, mem, 0, 1, 0, pci_ahc_init, pci_ahc_rr);
#endif
                                /*  bus_pci_add(machine, pci_data, mem, 0, 2, 0, pci_ahc_init, pci_ahc_rr);  */

                                break;
                        case 35:
                                strcat(machine->machine_name, " (Origin 3000)");
                                /*  4 cpus per node  */

                                machine->main_console_handle =
                                    dev_zs_init(machine, mem, 0x1fbd9830,
                                    0, 1, "zs console");
                                break;
                        case 53:
                                strcat(machine->machine_name, " (Origin 350)");
                                /*
                                 *  According to http://kumba.drachentekh.net/xml/myguide.html
                                 *  Origin 350, Tezro IP53 R16000
                                 */
                                break;
                        default:
                                fatal("unimplemented SGI machine type IP%i\n",
                                    machine->machine_subtype);
                                exit(1);
                        }
                } else {
                        switch (machine->machine_subtype) {

                        case MACHINE_ARC_NEC_RD94:
                        case MACHINE_ARC_NEC_R94:
                        case MACHINE_ARC_NEC_R96:
                                /*
                                 *  "NEC-RD94" (NEC RISCstation 2250)
                                 *  "NEC-R94" (NEC RISCstation 2200)
                                 *  "NEC-R96" (NEC Express RISCserver)
                                 *
                                 *  http://mirror.aarnet.edu.au/pub/NetBSD/misc/chs/arcdiag.out (NEC-R96)
                                 */

                                switch (machine->machine_subtype) {
                                case MACHINE_ARC_NEC_RD94:
                                        strcat(machine->machine_name, " (NEC-RD94, NEC RISCstation 2250)");
                                        break;
                                case MACHINE_ARC_NEC_R94:
                                        strcat(machine->machine_name, " (NEC-R94; NEC RISCstation 2200)");
                                        break;
                                case MACHINE_ARC_NEC_R96:
                                        strcat(machine->machine_name, " (NEC-R96; NEC Express RISCserver)");
                                        break;
                                }

                                /*  TODO: interrupt controller!  */

                                pci_data = device_add(machine,
                                    "rd94 addr=0x80000000, irq=0");

                                device_add(machine, "sn addr=0x80001000 irq=0");
                                dev_mc146818_init(machine, mem, 0x80004000ULL, 0, MC146818_ARC_NEC, 1);
                                i = dev_pckbc_init(machine, mem, 0x80005000ULL, PCKBC_8042, 0, 0, machine->use_x11);
                                j = dev_ns16550_init(machine, mem, 0x80006000ULL,
                                    3, 1, machine->use_x11? 0 : 1, "serial 0");  /*  com0  */
                                dev_ns16550_init(machine, mem, 0x80007000ULL,
                                    0, 1, 0, "serial 1"); /*  com1  */

                                if (machine->use_x11)
                                        machine->main_console_handle = i;
                                else
                                        machine->main_console_handle = j;

                                /*  lpt at 0x80008000  */

                                device_add(machine, "fdc addr=0x8000c000, irq=0");

                                switch (machine->machine_subtype) {
                                case MACHINE_ARC_NEC_RD94:
                                case MACHINE_ARC_NEC_R94:
                                        /*  PCI devices:  (NOTE: bus must be 0, device must be 3, 4, or 5, for NetBSD to accept interrupts)  */
                                        bus_pci_add(machine, pci_data, mem, 0, 3, 0, pci_dec21030_init, pci_dec21030_rr);       /*  tga graphics  */
                                        break;
                                case MACHINE_ARC_NEC_R96:
                                        dev_fb_init(machine, mem, 0x100e00000ULL,
                                            VFB_GENERIC, 640,480, 1024,480,
                                            8, "necvdfrb", 1);
                                        break;
                                }
                                break;

                        case MACHINE_ARC_NEC_R98:
                                /*
                                 *  "NEC-R98" (NEC RISCserver 4200)
                                 *
                                 *  According to http://mail-index.netbsd.org/port-arc/2004/02/01/0001.html:
                                 *
                                 *  Network adapter at "start: 0x 0 18600000, length: 0x1000, level: 4, vector: 9"
                                 *  Disk at "start: 0x 0 18c103f0, length: 0x1000, level: 5, vector: 6"
                                 *  Keyboard at "start: 0x 0 18c20060, length: 0x1000, level: 5, vector: 3"
                                 *  Serial at "start: 0x 0 18c103f8, length: 0x1000, level: 5, vector: 4"
                                 *  Serial at "start: 0x 0 18c102f8, length: 0x1000, level: 5, vector: 4"
                                 *  Parallel at "start: 0x 0 18c10278, length: 0x1000, level: 5, vector: 5"
                                 */

                                strcat(machine->machine_name, " (NEC-R98; NEC RISCserver 4200)");

                                /*
                                 *  Windows NT access stuff at these addresses:
                                 *
                                 *  19980308, 18000210, 18c0a008,
                                 *  19022018, 19026010, andso on.
                                 */
                                break;

                        case MACHINE_ARC_JAZZ_PICA:
                        case MACHINE_ARC_JAZZ_MAGNUM:
                                /*
                                 *  "PICA-61"
                                 *
                                 *  According to NetBSD 1.6.2:
                                 *
                                 *  jazzio0 at mainbus0
                                 *  timer0 at jazzio0 addr 0xe0000228
                                 *  mcclock0 at jazzio0 addr 0xe0004000: mc146818 or compatible
                                 *  lpt at jazzio0 addr 0xe0008000 intr 0 not configured
                                 *  fdc at jazzio0 addr 0xe0003000 intr 1 not configured
                                 *  MAGNUM at jazzio0 addr 0xe000c000 intr 2 not configured
                                 *  ALI_S3 at jazzio0 addr 0xe0800000 intr 3 not configured
                                 *  sn0 at jazzio0 addr 0xe0001000 intr 4: SONIC Ethernet
                                 *  sn0: Ethernet address 69:6a:6b:6c:00:00
                                 *  asc0 at jazzio0 addr 0xe0002000 intr 5: NCR53C94, target 0
                                 *  pckbd at jazzio0 addr 0xe0005000 intr 6 not configured
                                 *  pms at jazzio0 addr 0xe0005000 intr 7 not configured
                                 *  com0 at jazzio0 addr 0xe0006000 intr 8: ns16550a, working fifo
                                 *  com at jazzio0 addr 0xe0007000 intr 9 not configured
                                 *  jazzisabr0 at mainbus0
                                 *  isa0 at jazzisabr0 isa_io_base 0xe2000000 isa_mem_base 0xe3000000
                                 *
                                 *  "Microsoft-Jazz", "MIPS Magnum"
                                 *
                                 *  timer0 at jazzio0 addr 0xe0000228
                                 *  mcclock0 at jazzio0 addr 0xe0004000: mc146818 or compatible
                                 *  lpt at jazzio0 addr 0xe0008000 intr 0 not configured
                                 *  fdc at jazzio0 addr 0xe0003000 intr 1 not configured
                                 *  MAGNUM at jazzio0 addr 0xe000c000 intr 2 not configured
                                 *  VXL at jazzio0 addr 0xe0800000 intr 3 not configured
                                 *  sn0 at jazzio0 addr 0xe0001000 intr 4: SONIC Ethernet
                                 *  sn0: Ethernet address 69:6a:6b:6c:00:00
                                 *  asc0 at jazzio0 addr 0xe0002000 intr 5: NCR53C94, target 0
                                 *  scsibus0 at asc0: 8 targets, 8 luns per target
                                 *  pckbd at jazzio0 addr 0xe0005000 intr 6 not configured
                                 *  pms at jazzio0 addr 0xe0005000 intr 7 not configured
                                 *  com0 at jazzio0 addr 0xe0006000 intr 8: ns16550a, working fifo
                                 *  com at jazzio0 addr 0xe0007000 intr 9 not configured
                                 *  jazzisabr0 at mainbus0
                                 *  isa0 at jazzisabr0 isa_io_base 0xe2000000 isa_mem_base 0xe3000000
                                 */

                                switch (machine->machine_subtype) {
                                case MACHINE_ARC_JAZZ_PICA:
                                        strcat(machine->machine_name, " (Microsoft Jazz, Acer PICA-61)");
                                        break;
                                case MACHINE_ARC_JAZZ_MAGNUM:
                                        strcat(machine->machine_name, " (Microsoft Jazz, MIPS Magnum)");
                                        break;
                                default:
                                        fatal("error in machine.c. jazz\n");
                                        exit(1);
                                }

                                machine->jazz_data = device_add(machine,
                                    "jazz addr=0x80000000");
                                machine->md_interrupt = jazz_interrupt;

                                switch (machine->machine_subtype) {
                                case MACHINE_ARC_JAZZ_PICA:
                                        dev_vga_init(machine, mem,
                                            0x400b8000ULL, 0x600003c0ULL,
                                            ARC_CONSOLE_MAX_X, ARC_CONSOLE_MAX_Y, machine->machine_name);
                                        arcbios_console_init(cpu, 0x400b8000ULL,
                                            0x600003c0ULL, ARC_CONSOLE_MAX_X,
                                            ARC_CONSOLE_MAX_Y);
                                        break;
                                case MACHINE_ARC_JAZZ_MAGNUM:
                                        /*  PROM mirror?  */
                                        dev_ram_init(mem, 0xfff00000, 0x100000,
                                            DEV_RAM_MIRROR, 0x1fc00000);

                                        /*  VXL. TODO  */
                                        /*  control at 0x60100000?  */
                                        dev_fb_init(machine, mem, 0x60200000ULL,
                                            VFB_GENERIC, 1024,768, 1024,768,
                                            8, "VXL", 1);
                                        break;
                                }

                                /*  irq 8 + 4  */
                                device_add(machine, "sn addr=0x80001000 irq=12");

                                dev_asc_init(machine, mem,
                                    0x80002000ULL, 8 + 5, NULL, DEV_ASC_PICA,
                                    dev_jazz_dma_controller, machine->jazz_data);

                                device_add(machine, "fdc addr=0x80003000, irq=0");

                                dev_mc146818_init(machine, mem,
                                    0x80004000ULL, 2, MC146818_ARC_JAZZ, 1);

                                i = dev_pckbc_init(machine, mem, 0x80005000ULL,
                                    PCKBC_JAZZ, 8 + 6, 8 + 7, machine->use_x11);

                                j = dev_ns16550_init(machine, mem,
                                    0x80006000ULL, 8 + 8, 1,
                                    machine->use_x11? 0 : 1, "serial 0");
                                dev_ns16550_init(machine, mem,
                                    0x80007000ULL, 8 + 9, 1, 0, "serial 1");

                                if (machine->use_x11)
                                        machine->main_console_handle = i;
                                else
                                        machine->main_console_handle = j;

#if 0
Not yet.
                                dev_wdc_init(machine, mem, 0x900001f0ULL, 8+16 + 14, 0);
#endif

                                break;

                        case MACHINE_ARC_JAZZ_M700:
                                /*
                                 *  "Microsoft-Jazz", "Olivetti M700"
                                 *
                                 *  Different enough from Pica and Magnum to be
                                 *  separate here.
                                 *
                                 *  See http://mail-index.netbsd.org/port-arc/2000/10/18/0001.html.
                                 */

                                strcat(machine->machine_name, " (Microsoft Jazz, Olivetti M700)");

                                machine->jazz_data = device_add(machine,
                                    "jazz addr=0x80000000");
                                machine->md_interrupt = jazz_interrupt;

                                dev_mc146818_init(machine, mem,
                                    0x80004000ULL, 2, MC146818_ARC_JAZZ, 1);

                                i = 0;          /*  TODO: Yuck!  */
#if 0
                                i = dev_pckbc_init(machine, mem, 0x80005000ULL,
                                    PCKBC_JAZZ, 8 + 6, 8 + 7, machine->use_x11);
#endif
                                j = dev_ns16550_init(machine, mem,
                                    0x80006000ULL, 8 + 8, 1,
                                    machine->use_x11? 0 : 1, "serial 0");
                                dev_ns16550_init(machine, mem,
                                    0x80007000ULL, 8 + 9, 1, 0, "serial 1");

                                if (machine->use_x11)
                                        machine->main_console_handle = i;
                                else
                                        machine->main_console_handle = j;

                                dev_m700_fb_init(machine, mem,
                                    0x180080000ULL, 0x100000000ULL);

                                break;

                        case MACHINE_ARC_DESKTECH_TYNE:
                                /*
                                 *  "Deskstation Tyne" (?)
                                 *
                                 *  TODO
                                 *  http://mail-index.netbsd.org/port-arc/2000/10/14/0000.html
                                 */

                                strcat(machine->machine_name, " (Deskstation Tyne)");

                                dev_vga_init(machine, mem, 0x1000b8000ULL, 0x9000003c0ULL,
                                    ARC_CONSOLE_MAX_X, ARC_CONSOLE_MAX_Y, machine->machine_name);

                                arcbios_console_init(cpu, 0x1000b8000ULL,
                                    0x9000003c0ULL, ARC_CONSOLE_MAX_X,
                                    ARC_CONSOLE_MAX_Y);

                                i = dev_ns16550_init(machine, mem, 0x9000003f8ULL, 0, 1, machine->use_x11? 0 : 1, "serial 0");
                                dev_ns16550_init(machine, mem, 0x9000002f8ULL, 0, 1, 0, "serial 1");
                                dev_ns16550_init(machine, mem, 0x9000003e8ULL, 0, 1, 0, "serial 2");
                                dev_ns16550_init(machine, mem, 0x9000002e8ULL, 0, 1, 0, "serial 3");

                                dev_mc146818_init(machine, mem,
                                    0x900000070ULL, 2, MC146818_PC_CMOS, 1);

#if 0
                                dev_wdc_init(machine, mem, 0x9000001f0ULL, 0, 0);
                                dev_wdc_init(machine, mem, 0x900000170ULL, 0, 2);
#endif
                                /*  PC kbd  */
                                j = dev_pckbc_init(machine, mem, 0x900000060ULL,
                                    PCKBC_8042, 0, 0, machine->use_x11);

                                if (machine->use_x11)
                                        machine->main_console_handle = j;
                                else
                                        machine->main_console_handle = i;

                                break;

                        default:
                                fatal("Unimplemented ARC machine type %i\n",
                                    machine->machine_subtype);
                                exit(1);
                        }
                }


                if (!machine->prom_emulation)
                        goto no_arc_prom_emulation;     /*  TODO: ugly  */


                /*
                 *  This is important:  :-)
                 *
                 *  TODO:  There should not be any use of
                 *  ARCBIOS before this statement.
                 */
                if (arc_wordlen == sizeof(uint64_t))
                        arcbios_set_64bit_mode(1);

                if (machine->physical_ram_in_mb < 16)
                        fprintf(stderr, "WARNING! The ARC platform specification doesn't allow less than 16 MB of RAM. Continuing anyway.\n");

                arcbios_set_default_exception_handler(cpu);

                memset(&arcbios_sysid, 0, sizeof(arcbios_sysid));
                if (machine->machine_type == MACHINE_SGI) {
                        /*  Vendor ID, max 8 chars:  */
                        strncpy(arcbios_sysid.VendorId,  "SGI", 3);
                        switch (machine->machine_subtype) {
                        case 22:
                                strncpy(arcbios_sysid.ProductId,
                                    "87654321", 8);     /*  some kind of ID?  */
                                break;
                        case 32:
                                strncpy(arcbios_sysid.ProductId, "8", 1);
                                    /*  6 or 8 (?)  */
                                break;
                        default:
                                snprintf(arcbios_sysid.ProductId, 8, "IP%i",
                                    machine->machine_subtype);
                        }
                } else {
                        switch (machine->machine_subtype) {
                        case MACHINE_ARC_NEC_RD94:
                                strncpy(arcbios_sysid.VendorId,  "NEC W&S", 8); /*  NOTE: max 8 chars  */
                                strncpy(arcbios_sysid.ProductId, "RD94", 4);    /*  NOTE: max 8 chars  */
                                break;
                        case MACHINE_ARC_NEC_R94:
                                strncpy(arcbios_sysid.VendorId,  "NEC W&S", 8); /*  NOTE: max 8 chars  */
                                strncpy(arcbios_sysid.ProductId, "ijkl", 4);    /*  NOTE: max 8 chars  */
                                break;
                        case MACHINE_ARC_NEC_R96:
                                strncpy(arcbios_sysid.VendorId,  "MIPS DUO", 8);        /*  NOTE: max 8 chars  */
                                strncpy(arcbios_sysid.ProductId, "blahblah", 8);        /*  NOTE: max 8 chars  */
                                break;
                        case MACHINE_ARC_NEC_R98:
                                strncpy(arcbios_sysid.VendorId,  "NEC W&S", 8); /*  NOTE: max 8 chars  */
                                strncpy(arcbios_sysid.ProductId, "R98", 4);     /*  NOTE: max 8 chars  */
                                break;
                        case MACHINE_ARC_JAZZ_PICA:
                                strncpy(arcbios_sysid.VendorId,  "MIPS MAG", 8);/*  NOTE: max 8 chars  */
                                strncpy(arcbios_sysid.ProductId, "ijkl", 4);    /*  NOTE: max 8 chars  */
                                break;
                        case MACHINE_ARC_JAZZ_MAGNUM:
                                strncpy(arcbios_sysid.VendorId,  "MIPS MAG", 8);/*  NOTE: max 8 chars  */
                                strncpy(arcbios_sysid.ProductId, "ijkl", 4);    /*  NOTE: max 8 chars  */
                                break;
                        case MACHINE_ARC_JAZZ_M700:
                                strncpy(arcbios_sysid.VendorId,  "OLI00000", 8);/*  NOTE: max 8 chars  */
                                strncpy(arcbios_sysid.ProductId, "ijkl", 4);    /*  NOTE: max 8 chars  */
                                break;
                        case MACHINE_ARC_DESKTECH_TYNE:
                                strncpy(arcbios_sysid.VendorId,  "DESKTECH", 8);/*  NOTE: max 8 chars  */
                                strncpy(arcbios_sysid.ProductId, "ijkl", 4);    /*  NOTE: max 8 chars  */
                                break;
                        default:
                                fatal("error in machine.c sysid\n");
                                exit(1);
                        }
                }
                store_buf(cpu, SGI_SYSID_ADDR, (char *)&arcbios_sysid, sizeof(arcbios_sysid));

                arcbios_get_dsp_stat(cpu, &arcbios_dsp_stat);
                store_buf(cpu, ARC_DSPSTAT_ADDR, (char *)&arcbios_dsp_stat, sizeof(arcbios_dsp_stat));

                /*
                 *  The first 12 MBs of RAM are simply reserved... this simplifies things a lot.
                 *  If there's more than 512MB of RAM, it has to be split in two, according to
                 *  the ARC spec.  This code creates a number of chunks of at most 512MB each.
                 *
                 *  NOTE:  The region of physical address space between 0x10000000 and 0x1fffffff
                 *  (256 - 512 MB) is usually occupied by memory mapped devices, so that portion is "lost".
                 */

                arc_reserved = 0x2000;
                if (machine->machine_type == MACHINE_SGI)
                        arc_reserved = 0x4000;

                arcbios_add_memory_descriptor(cpu, 0, arc_reserved, ARCBIOS_MEM_FirmwarePermanent);
                arcbios_add_memory_descriptor(cpu, sgi_ram_offset + arc_reserved, 0x60000-arc_reserved, ARCBIOS_MEM_FirmwareTemporary);

                mem_base = 12;
                mem_base += sgi_ram_offset / 1048576;

                while (mem_base < machine->physical_ram_in_mb + sgi_ram_offset/1048576) {
                        mem_count = machine->physical_ram_in_mb + sgi_ram_offset/1048576
                            - mem_base;

                        /*  Skip the 256-512MB region (for devices)  */
                        if (mem_base < 256 && mem_base + mem_count > 256) {
                                mem_count = 256-mem_base;
                        }

                        /*  At most 512MB per descriptor (at least the first 512MB
                            must be separated this way, according to the ARC spec)  */
                        if (mem_count > 512)
                                mem_count = 512;

                        arcbios_add_memory_descriptor(cpu, mem_base * 1048576,
                            mem_count * 1048576, ARCBIOS_MEM_FreeMemory);

                        mem_base += mem_count;

                        /*  Skip the devices:  */
                        if (mem_base == 256)
                                mem_base = 512;
                }


                /*
                 *  Components:   (this is an example of what a system could look like)
                 *
                 *  [System]
                 *      [CPU]  (one for each cpu)
                 *          [FPU]  (one for each cpu)
                 *          [CPU Caches]
                 *      [Memory]
                 *      [Ethernet]
                 *      [Serial]
                 *      [SCSI]
                 *          [Disk]
                 *
                 *  Here's a good list of what hardware is in different IP-models:
                 *  http://www.linux-mips.org/archives/linux-mips/2001-03/msg00101.html
                 */

                if (machine->machine_name == NULL)
                        fatal("ERROR: machine_name == NULL\n");
                if (short_machine_name == NULL)
                        fatal("ERROR: short_machine_name == NULL\n");

                switch (machine->machine_type) {
                case MACHINE_SGI:
                        system = arcbios_addchild_manual(cpu, COMPONENT_CLASS_SystemClass, COMPONENT_TYPE_ARC,
                            0, 1, 2, 0, 0xffffffff, short_machine_name, 0  /*  ROOT  */ , NULL, 0);
                        break;
                default:
                        /*  ARC:  */
                        switch (machine->machine_subtype) {
                        case MACHINE_ARC_NEC_RD94:
                                system = arcbios_addchild_manual(cpu, COMPONENT_CLASS_SystemClass, COMPONENT_TYPE_ARC,
                                    0, 1, 2, 0, 0xffffffff, "NEC-RD94", 0  /*  ROOT  */ , NULL, 0);
                                break;
                        case MACHINE_ARC_NEC_R94:
                                system = arcbios_addchild_manual(cpu, COMPONENT_CLASS_SystemClass, COMPONENT_TYPE_ARC,
                                    0, 1, 2, 0, 0xffffffff, "NEC-R94", 0  /*  ROOT  */ , NULL, 0);
                                break;
                        case MACHINE_ARC_NEC_R96:
                                system = arcbios_addchild_manual(cpu, COMPONENT_CLASS_SystemClass, COMPONENT_TYPE_ARC,
                                    0, 1, 2, 0, 0xffffffff, "NEC-R96", 0  /*  ROOT  */ , NULL, 0);
                                break;
                        case MACHINE_ARC_NEC_R98:
                                system = arcbios_addchild_manual(cpu, COMPONENT_CLASS_SystemClass, COMPONENT_TYPE_ARC,
                                    0, 1, 2, 0, 0xffffffff, "NEC-R98", 0  /*  ROOT  */ , NULL, 0);
                                break;
                        case MACHINE_ARC_JAZZ_PICA:
                                system = arcbios_addchild_manual(cpu, COMPONENT_CLASS_SystemClass, COMPONENT_TYPE_ARC,
                                    0, 1, 2, 0, 0xffffffff, "PICA-61", 0  /*  ROOT  */ , NULL, 0);
                                break;
                        case MACHINE_ARC_JAZZ_MAGNUM:
                                system = arcbios_addchild_manual(cpu, COMPONENT_CLASS_SystemClass, COMPONENT_TYPE_ARC,
                                    0, 1, 2, 0, 0xffffffff, "Microsoft-Jazz", 0  /*  ROOT  */ , NULL, 0);
                                break;
                        case MACHINE_ARC_JAZZ_M700:
                                system = arcbios_addchild_manual(cpu, COMPONENT_CLASS_SystemClass, COMPONENT_TYPE_ARC,
                                    0, 1, 2, 0, 0xffffffff, "Microsoft-Jazz", 0  /*  ROOT  */ , NULL, 0);
                                break;
                        case MACHINE_ARC_DESKTECH_TYNE:
                                system = arcbios_addchild_manual(cpu, COMPONENT_CLASS_SystemClass, COMPONENT_TYPE_ARC,
                                    0, 1, 2, 0, 0xffffffff, "DESKTECH-TYNE", 0  /*  ROOT  */ , NULL, 0);
                                break;
                        default:
                                fatal("Unimplemented ARC machine type %i\n",
                                    machine->machine_subtype);
                                exit(1);
                        }
                }


                /*
                 *  Common stuff for both SGI and ARC:
                 */
                debug("ARC system @ 0x%llx\n", (long long)system);

                for (i=0; i<machine->ncpus; i++) {
                        uint64_t cpuaddr, fpu=0, picache, pdcache, sdcache=0;
                        int cache_size, cache_line_size;
                        unsigned int jj;
                        char arc_cpu_name[100];
                        char arc_fpc_name[105];

                        snprintf(arc_cpu_name, sizeof(arc_cpu_name),
                            "MIPS-%s", machine->cpu_name);

                        if (machine->machine_type == MACHINE_ARC &&
                            machine->machine_subtype == MACHINE_ARC_NEC_R96)
                                snprintf(arc_cpu_name, sizeof(arc_cpu_name),
                                    "MIPS-%s - Pr 4/5.0, Fp 5/0",
                                    machine->cpu_name);

                        arc_cpu_name[sizeof(arc_cpu_name)-1] = 0;
                        for (jj=0; jj<strlen(arc_cpu_name); jj++)
                                if (arc_cpu_name[jj] >= 'a' && arc_cpu_name[jj] <= 'z')
                                        arc_cpu_name[jj] += ('A' - 'a');

                        strcpy(arc_fpc_name, arc_cpu_name);
                        strcat(arc_fpc_name, "FPC");

                        cpuaddr = arcbios_addchild_manual(cpu, COMPONENT_CLASS_ProcessorClass, COMPONENT_TYPE_CPU,
                            0, 1, 2, i, 0xffffffff, arc_cpu_name, system, NULL, 0);

                        /*
                         *  TODO: This was in the ARC specs, but it isn't
                         *  really used by ARC implementations?
                         *  At least SGI-IP32 uses it.
                         */
                        if (machine->machine_type == MACHINE_SGI)
                                fpu = arcbios_addchild_manual(cpu, COMPONENT_CLASS_ProcessorClass, COMPONENT_TYPE_FPU,
                                    0, 1, 2, 0, 0xffffffff, arc_fpc_name, cpuaddr, NULL, 0);

                        cache_size = DEFAULT_PCACHE_SIZE - 12;
                        if (machine->cache_picache)
                                cache_size = machine->cache_picache - 12;
                        if (cache_size < 0)
                                cache_size = 0;

                        cache_line_size = DEFAULT_PCACHE_LINESIZE;
                        if (machine->cache_picache_linesize)
                                cache_line_size = machine->cache_picache_linesize;
                        if (cache_line_size < 0)
                                cache_line_size = 0;

                        picache = arcbios_addchild_manual(cpu, COMPONENT_CLASS_CacheClass,
                            COMPONENT_TYPE_PrimaryICache, 0, 1, 2,
                            /*
                             *  Key bits:  0xXXYYZZZZ
                             *  XX is refill-size.
                             *  Cache line size is 1 << YY,
                             *  Cache size is 4KB << ZZZZ.
                             */
                            0x01000000 + (cache_line_size << 16) + cache_size,
                                /*  32 bytes per line, default = 32 KB total  */
                            0xffffffff, NULL, cpuaddr, NULL, 0);

                        cache_size = DEFAULT_PCACHE_SIZE - 12;
                        if (machine->cache_pdcache)
                                cache_size = machine->cache_pdcache - 12;
                        if (cache_size < 0)
                                cache_size = 0;

                        cache_line_size = DEFAULT_PCACHE_LINESIZE;
                        if (machine->cache_pdcache_linesize)
                                cache_line_size = machine->cache_pdcache_linesize;
                        if (cache_line_size < 0)
                                cache_line_size = 0;

                        pdcache = arcbios_addchild_manual(cpu, COMPONENT_CLASS_CacheClass,
                            COMPONENT_TYPE_PrimaryDCache, 0, 1, 2,
                            /*
                             *  Key bits:  0xYYZZZZ
                             *  Cache line size is 1 << YY,
                             *  Cache size is 4KB << ZZZZ.
                             */
                            0x01000000 + (cache_line_size << 16) + cache_size,
                                /*  32 bytes per line, default = 32 KB total  */
                            0xffffffff, NULL, cpuaddr, NULL, 0);

                        if (machine->cache_secondary >= 12) {
                                cache_size = machine->cache_secondary - 12;

                                cache_line_size = 6;    /*  64 bytes default  */
                                if (machine->cache_secondary_linesize)
                                        cache_line_size = machine->cache_secondary_linesize;
                                if (cache_line_size < 0)
                                        cache_line_size = 0;

                                sdcache = arcbios_addchild_manual(cpu, COMPONENT_CLASS_CacheClass,
                                    COMPONENT_TYPE_SecondaryDCache, 0, 1, 2,
                                    /*
                                     *  Key bits:  0xYYZZZZ
                                     *  Cache line size is 1 << YY,
                                     *  Cache size is 4KB << ZZZZ.
                                     */
                                    0x01000000 + (cache_line_size << 16) + cache_size,
                                        /*  64 bytes per line, default = 1 MB total  */
                                    0xffffffff, NULL, cpuaddr, NULL, 0);
                        }

                        debug("ARC cpu%i @ 0x%llx", i, (long long)cpuaddr);

                        if (fpu != 0)
                                debug(" (fpu @ 0x%llx)\n", (long long)fpu);
                        else
                                debug("\n");

                        debug("    picache @ 0x%llx, pdcache @ 0x%llx\n",
                            (long long)picache, (long long)pdcache);

                        if (machine->cache_secondary >= 12)
                                debug("    sdcache @ 0x%llx\n",
                                    (long long)sdcache);

                        if (machine->machine_type == MACHINE_SGI) {
                                /*  TODO:  Memory amount (and base address?)!  */
                                uint64_t memory = arcbios_addchild_manual(cpu, COMPONENT_CLASS_MemoryClass,
                                    COMPONENT_TYPE_MemoryUnit,
                                    0, 1, 2, 0, 0xffffffff, "memory", cpuaddr, NULL, 0);
                                debug("    memory @ 0x%llx\n", (long long)memory);
                        }
                }


                /*
                 *  Other components, and default TLB entries:
                 *
                 *  TODO: How to build the component tree intermixed with
                 *  the rest of device initialization?
                 */

                if (machine->machine_type == MACHINE_SGI) {
                        /*  TODO: On which models is this required?  */
                        mips_coproc_tlb_set_entry(cpu, 0, 1048576*16,
                            0xc000000000000000ULL,
                            0x0, 1048576*16,
                            1, 1, 1, 1, 1, 0, 2, 2);
                }

                if (machine->machine_type == MACHINE_ARC &&
                    ( machine->machine_subtype == MACHINE_ARC_NEC_RD94 ||
                    machine->machine_subtype == MACHINE_ARC_NEC_R94 ||
                    machine->machine_subtype == MACHINE_ARC_NEC_R96 )) {
                        uint64_t jazzbus, eisa, other;

                        jazzbus = arcbios_addchild_manual(cpu,
                            COMPONENT_CLASS_AdapterClass,
                            COMPONENT_TYPE_MultiFunctionAdapter,
                            0, 1, 2, 0, 0xffffffff, "Jazz-Internal Bus",
                            system, NULL, 0);

                        switch (machine->machine_subtype) {
                        case MACHINE_ARC_NEC_RD94:
                        case MACHINE_ARC_NEC_R94:
                                if (machine->use_x11)
                                        arcbios_addchild_manual(cpu,
                                            COMPONENT_CLASS_ControllerClass,
                                            COMPONENT_TYPE_DisplayController,
                                            0, 1, 2, 0, 0x0, "10110004",
                                            system, NULL, 0);
                                break;
                        case MACHINE_ARC_NEC_R96:
                                if (machine->use_x11) {
                                        uint64_t x;
                                        x = arcbios_addchild_manual(cpu,
                                            COMPONENT_CLASS_ControllerClass,
                                            COMPONENT_TYPE_DisplayController,
                                            COMPONENT_FLAG_ConsoleOut |
                                              COMPONENT_FLAG_Output,
                                            1, 2, 0, 0x0, "necvdfrb",
                                            jazzbus, NULL, 0);
                                        arcbios_addchild_manual(cpu,
                                            COMPONENT_CLASS_PeripheralClass,
                                            COMPONENT_TYPE_MonitorPeripheral,
                                            COMPONENT_FLAG_ConsoleOut |
                                                COMPONENT_FLAG_Output,
                                            1, 2, 0, 0xffffffff, "640x480",
                                            x, NULL, 0);
                                }

                                /*  TODO: R[D]94 too?  */
                                eisa = arcbios_addchild_manual(cpu,
                                    COMPONENT_CLASS_AdapterClass,
                                    COMPONENT_TYPE_EISAAdapter,
                                    0, 1, 2, 0, 0xffffffff, "EISA",
                                    system, NULL, 0);

                                other = arcbios_addchild_manual(cpu,
                                    COMPONENT_CLASS_ControllerClass,
                                    COMPONENT_TYPE_OtherController,
                                    0, 1, 2, 0, 0xffffffff, "NEC1C01",
                                    eisa, NULL, 0);

                                break;
                        }
                }

                if (machine->machine_type == MACHINE_ARC &&
                    (machine->machine_subtype == MACHINE_ARC_JAZZ_PICA
                    || machine->machine_subtype == MACHINE_ARC_JAZZ_MAGNUM)) {
                        uint64_t jazzbus, ali_s3, vxl;
                        uint64_t diskcontroller, floppy, kbdctl, kbd;
                        uint64_t ptrctl, ptr, paral, audio;
                        uint64_t eisa, scsi;
                        /*  uint64_t serial1, serial2;  */

                        jazzbus = arcbios_addchild_manual(cpu,
                            COMPONENT_CLASS_AdapterClass,
                            COMPONENT_TYPE_MultiFunctionAdapter,
                            0, 1, 2, 0, 0xffffffff, "Jazz-Internal Bus",
                            system, NULL, 0);

                        /*
                         *  DisplayController, needed by NetBSD:
                         *  TODO: NetBSD still doesn't use it :(
                         */
                        switch (machine->machine_subtype) {
                        case MACHINE_ARC_JAZZ_PICA:
                                /*  Default TLB entries on PICA-61:  */

                                /* 7: 256K, asid: 0x0, v: 0xe1000000,
                                   p0: 0xfff00000(2.VG), p1: 0x0(0..G)  */
                                mips_coproc_tlb_set_entry(cpu, 7, 262144,
                                    0xffffffffe1000000ULL,
                                    0x0fff00000ULL, 0,
                                    1, 0, 0, 0, 1, 0, 2, 0);

                                /* 8: 64K, asid: 0x0, v: 0xe0000000,
                                   p0: 0x80000000(2DVG), p1: 0x0(0..G) */
                                mips_coproc_tlb_set_entry(cpu, 8, 65536,
                                    0xffffffffe0000000ULL,
                                    0x080000000ULL, 0,
                                    1, 0, 1, 0, 1, 0, 2, 0);

                                /* 9: 64K, asid: 0x0, v: 0xe00e0000,
                                   p0: 0x800e0000(2DVG), p1: 0x800f0000(2DVG) */
                                mips_coproc_tlb_set_entry(cpu, 9, 65536,
                                    (uint64_t)0xffffffffe00e0000ULL,
                                    (uint64_t)0x0800e0000ULL,
                                    (uint64_t)0x0800f0000ULL,
                                    1, 1, 1, 1, 1, 0, 2, 2);

                                /* 10: 4K, asid: 0x0, v: 0xe0100000,
                                   p0: 0xf0000000(2DVG), p1: 0x0(0..G) */
                                mips_coproc_tlb_set_entry(cpu, 10, 4096,
                                    (uint64_t)0xffffffffe0100000ULL,
                                    (uint64_t)0x0f0000000ULL, 0,
                                    1, 0, 1, 0, 1, 0, 2, 0);

                                /* 11: 1M, asid: 0x0, v: 0xe0200000,
                                   p0: 0x60000000(2DVG), p1: 0x60100000(2DVG) */
                                mips_coproc_tlb_set_entry(cpu, 11, 1048576,
                                    0xffffffffe0200000ULL,
                                    0x060000000ULL, 0x060100000ULL,
                                    1, 1, 1, 1, 1, 0, 2, 2);

                                /* 12: 1M, asid: 0x0, v: 0xe0400000,
                                   p0: 0x60200000(2DVG), p1: 0x60300000(2DVG) */
                                mips_coproc_tlb_set_entry(cpu, 12, 1048576,
                                    0xffffffffe0400000ULL,
                                    0x060200000ULL, 0x060300000ULL,
                                    1, 1, 1, 1, 1, 0, 2, 2);

                                /* 13: 4M, asid: 0x0, v: 0xe0800000,
                                   p0: 0x40000000(2DVG), p1: 0x40400000(2DVG) */
                                mips_coproc_tlb_set_entry(cpu, 13, 1048576*4,
                                    0xffffffffe0800000ULL,
                                    0x040000000ULL, 0x040400000ULL,
                                    1, 1, 1, 1, 1, 0, 2, 2);

                                /* 14: 16M, asid: 0x0, v: 0xe2000000,
                                   p0: 0x90000000(2DVG), p1: 0x91000000(2DVG) */
                                mips_coproc_tlb_set_entry(cpu, 14, 1048576*16,
                                    0xffffffffe2000000ULL,
                                    0x090000000ULL, 0x091000000ULL,
                                    1, 1, 1, 1, 1, 0, 2, 2);

                                if (machine->use_x11) {
                                        ali_s3 = arcbios_addchild_manual(cpu,
                                            COMPONENT_CLASS_ControllerClass,
                                            COMPONENT_TYPE_DisplayController,
                                            COMPONENT_FLAG_ConsoleOut |
                                                COMPONENT_FLAG_Output,
                                            1, 2, 0, 0xffffffff, "ALI_S3",
                                            jazzbus, NULL, 0);

                                        arcbios_addchild_manual(cpu,
                                            COMPONENT_CLASS_PeripheralClass,
                                            COMPONENT_TYPE_MonitorPeripheral,
                                            COMPONENT_FLAG_ConsoleOut |
                                                COMPONENT_FLAG_Output,
                                            1, 2, 0, 0xffffffff, "1024x768",
                                            ali_s3, NULL, 0);
                                }
                                break;
                        case MACHINE_ARC_JAZZ_MAGNUM:
                                if (machine->use_x11) {
                                        vxl = arcbios_addchild_manual(cpu,
                                            COMPONENT_CLASS_ControllerClass,
                                            COMPONENT_TYPE_DisplayController,
                                            COMPONENT_FLAG_ConsoleOut |
                                                COMPONENT_FLAG_Output,
                                            1, 2, 0, 0xffffffff, "VXL",
                                            jazzbus, NULL, 0);

                                        arcbios_addchild_manual(cpu,
                                            COMPONENT_CLASS_PeripheralClass,
                                            COMPONENT_TYPE_MonitorPeripheral,
                                            COMPONENT_FLAG_ConsoleOut |
                                                COMPONENT_FLAG_Output,
                                            1, 2, 0, 0xffffffff, "1024x768",
                                            vxl, NULL, 0);
                                }
                                break;
                        }

                        diskcontroller = arcbios_addchild_manual(cpu,
                            COMPONENT_CLASS_ControllerClass,
                            COMPONENT_TYPE_DiskController,
                                COMPONENT_FLAG_Input |
                                COMPONENT_FLAG_Output,
                            1, 2, 0, 0xffffffff, "I82077",
                            jazzbus, NULL, 0);

                        floppy = arcbios_addchild_manual(cpu,
                            COMPONENT_CLASS_PeripheralClass,
                            COMPONENT_TYPE_FloppyDiskPeripheral,
                                COMPONENT_FLAG_Removable |
                                COMPONENT_FLAG_Input |
                                COMPONENT_FLAG_Output,
                            1, 2, 0, 0xffffffff, NULL,
                            diskcontroller, NULL, 0);

                        kbdctl = arcbios_addchild_manual(cpu,
                            COMPONENT_CLASS_ControllerClass,
                            COMPONENT_TYPE_KeyboardController,
                                COMPONENT_FLAG_ConsoleIn |
                                COMPONENT_FLAG_Input,
                            1, 2, 0, 0xffffffff, "I8742",
                            jazzbus, NULL, 0);

                        kbd = arcbios_addchild_manual(cpu,
                            COMPONENT_CLASS_PeripheralClass,
                            COMPONENT_TYPE_KeyboardPeripheral,
                                COMPONENT_FLAG_ConsoleIn |
                                COMPONENT_FLAG_Input,
                            1, 2, 0, 0xffffffff, "PCAT_ENHANCED",
                            kbdctl, NULL, 0);

                        ptrctl = arcbios_addchild_manual(cpu,
                            COMPONENT_CLASS_ControllerClass,
                            COMPONENT_TYPE_PointerController,
                                COMPONENT_FLAG_Input,
                            1, 2, 0, 0xffffffff, "I8742",
                            jazzbus, NULL, 0);

                        ptr = arcbios_addchild_manual(cpu,
                            COMPONENT_CLASS_PeripheralClass,
                            COMPONENT_TYPE_PointerPeripheral,
                                COMPONENT_FLAG_Input,
                            1, 2, 0, 0xffffffff, "PS2 MOUSE",
                            ptrctl, NULL, 0);

/*  These cause Windows NT to bug out.  */
#if 0
                        serial1 = arcbios_addchild_manual(cpu,
                            COMPONENT_CLASS_ControllerClass,
                            COMPONENT_TYPE_SerialController,
                                COMPONENT_FLAG_Input |
                                COMPONENT_FLAG_Output,
                            1, 2, 0, 0xffffffff, "COM1",
                            jazzbus, NULL, 0);

                        serial2 = arcbios_addchild_manual(cpu,
                            COMPONENT_CLASS_ControllerClass,
                            COMPONENT_TYPE_SerialController,
                                COMPONENT_FLAG_Input |
                                COMPONENT_FLAG_Output,
                            1, 2, 0, 0xffffffff, "COM1",
                            jazzbus, NULL, 0);
#endif

                        paral = arcbios_addchild_manual(cpu,
                            COMPONENT_CLASS_ControllerClass,
                            COMPONENT_TYPE_ParallelController,
                                COMPONENT_FLAG_Input |
                                COMPONENT_FLAG_Output,
                            1, 2, 0, 0xffffffff, "LPT1",
                            jazzbus, NULL, 0);

                        audio = arcbios_addchild_manual(cpu,
                            COMPONENT_CLASS_ControllerClass,
                            COMPONENT_TYPE_AudioController,
                                COMPONENT_FLAG_Input |
                                COMPONENT_FLAG_Output,
                            1, 2, 0, 0xffffffff, "MAGNUM",
                            jazzbus, NULL, 0);

                        eisa = arcbios_addchild_manual(cpu,
                            COMPONENT_CLASS_AdapterClass,
                            COMPONENT_TYPE_EISAAdapter,
                            0, 1, 2, 0, 0xffffffff, "EISA",
                            system, NULL, 0);

{
unsigned char config[78];
memset(config, 0, sizeof(config));

/*  config data version: 1, revision: 2, count: 4  */
config[0] = 0x01; config[1] = 0x00;
config[2] = 0x02; config[3] = 0x00;
config[4] = 0x04; config[5] = 0x00; config[6] = 0x00; config[7] = 0x00;

/*
          type: Interrupt
           share_disposition: DeviceExclusive, flags: LevelSensitive
           level: 4, vector: 22, reserved1: 0
*/
config[8] = arc_CmResourceTypeInterrupt;
config[9] = arc_CmResourceShareDeviceExclusive;
config[10] = arc_CmResourceInterruptLevelSensitive;
config[12] = 4;
config[16] = 22;
config[20] = 0;

/*
          type: Memory
           share_disposition: DeviceExclusive, flags: ReadWrite
           start: 0x 0 80002000, length: 0x1000
*/
config[24] = arc_CmResourceTypeMemory;
config[25] = arc_CmResourceShareDeviceExclusive;
config[26] = arc_CmResourceMemoryReadWrite;
config[28] = 0x00; config[29] = 0x20; config[30] = 0x00; config[31] = 0x80;
  config[32] = 0x00; config[33] = 0x00; config[34] = 0x00; config[35] = 0x00;
config[36] = 0x00; config[37] = 0x10; config[38] = 0x00; config[39] = 0x00;

/*
          type: DMA
           share_disposition: DeviceExclusive, flags: 0x0
           channel: 0, port: 0, reserved1: 0
*/
config[40] = arc_CmResourceTypeDMA;
config[41] = arc_CmResourceShareDeviceExclusive;
/*  42..43 = flags, 44,45,46,47 = channel, 48,49,50,51 = port, 52,53,54,55 = reserved  */

/*          type: DeviceSpecific
           share_disposition: DeviceExclusive, flags: 0x0
           datasize: 6, reserved1: 0, reserved2: 0
           data: [0x1:0x0:0x2:0x0:0x7:0x30]
*/
config[56] = arc_CmResourceTypeDeviceSpecific;
config[57] = arc_CmResourceShareDeviceExclusive;
/*  58,59 = flags  60,61,62,63 = data size, 64..71 = reserved  */
config[60] = 6;
/*  72..77 = the data  */
config[72] = 0x01;
config[73] = 0x00;
config[74] = 0x02;
config[75] = 0x00;
config[76] = 0x07;
config[77] = 0x30;
                        scsi = arcbios_addchild_manual(cpu,
                            COMPONENT_CLASS_AdapterClass,
                            COMPONENT_TYPE_SCSIAdapter,
                            0, 1, 2, 0, 0xffffffff, "ESP216",
                            system, config, sizeof(config));

                        arcbios_register_scsicontroller(scsi);
}

                }


                add_symbol_name(&machine->symbol_context,
                    ARC_FIRMWARE_ENTRIES, 0x10000, "[ARCBIOS entry]", 0);

                switch (arc_wordlen) {
                case sizeof(uint64_t):
                        for (i=0; i<100; i++)
                                store_64bit_word(cpu, ARC_FIRMWARE_VECTORS + i*8,
                                    ARC_FIRMWARE_ENTRIES + i*8);
                        for (i=0; i<100; i++)
                                store_64bit_word(cpu, ARC_PRIVATE_VECTORS + i*8,
                                    ARC_PRIVATE_ENTRIES + i*8);
                        break;
                default:
                        for (i=0; i<100; i++)
                                store_32bit_word(cpu, ARC_FIRMWARE_VECTORS + i*4,
                                    ARC_FIRMWARE_ENTRIES + i*4);
                        for (i=0; i<100; i++)
                                store_32bit_word(cpu, ARC_PRIVATE_VECTORS + i*4,
                                    ARC_PRIVATE_ENTRIES + i*4);
                }

                switch (arc_wordlen) {
                case sizeof(uint64_t):
                        /*
                         *  ARCS64 SPD (TODO: This is just a guess)
                         */
                        memset(&arcbios_spb_64, 0, sizeof(arcbios_spb_64));
                        store_64bit_word_in_host(cpu, (unsigned char *)&arcbios_spb_64.SPBSignature, ARCBIOS_SPB_SIGNATURE);
                        store_16bit_word_in_host(cpu, (unsigned char *)&arcbios_spb_64.Version, 64);
                        store_16bit_word_in_host(cpu, (unsigned char *)&arcbios_spb_64.Revision, 0);
                        store_64bit_word_in_host(cpu, (unsigned char *)&arcbios_spb_64.FirmwareVector, ARC_FIRMWARE_VECTORS);
                        store_buf(cpu, SGI_SPB_ADDR, (char *)&arcbios_spb_64, sizeof(arcbios_spb_64));
                        break;
                default:        /*  32-bit  */
                        /*
                         *  ARCBIOS SPB:  (For ARC and 32-bit SGI modes)
                         */
                        memset(&arcbios_spb, 0, sizeof(arcbios_spb));
                        store_32bit_word_in_host(cpu, (unsigned char *)&arcbios_spb.SPBSignature, ARCBIOS_SPB_SIGNATURE);
                        store_32bit_word_in_host(cpu, (unsigned char *)&arcbios_spb.SPBLength, sizeof(arcbios_spb));
                        store_16bit_word_in_host(cpu, (unsigned char *)&arcbios_spb.Version, 1);
                        store_16bit_word_in_host(cpu, (unsigned char *)&arcbios_spb.Revision, machine->machine_type == MACHINE_SGI? 10 : 2);
                        store_32bit_word_in_host(cpu, (unsigned char *)&arcbios_spb.FirmwareVector, ARC_FIRMWARE_VECTORS);
                        store_32bit_word_in_host(cpu, (unsigned char *)&arcbios_spb.FirmwareVectorLength, 100 * 4);     /*  ?  */
                        store_32bit_word_in_host(cpu, (unsigned char *)&arcbios_spb.PrivateVector, ARC_PRIVATE_VECTORS);
                        store_32bit_word_in_host(cpu, (unsigned char *)&arcbios_spb.PrivateVectorLength, 100 * 4);      /*  ?  */
                        store_buf(cpu, SGI_SPB_ADDR, (char *)&arcbios_spb, sizeof(arcbios_spb));
                }

                /*
                 *  Boot string in ARC format:
                 *
                 *  TODO: How about floppies? multi()disk()fdisk()
                 *        Is tftp() good for netbooting?
                 */
                init_bootpath = malloc(500);
                if (init_bootpath == NULL) {
                        fprintf(stderr, "out of mem, bootpath\n");
                        exit(1);
                }
                init_bootpath[0] = '\0';

                if (bootdev_id < 0 || machine->force_netboot) {
                        snprintf(init_bootpath, 400, "tftp()");
                } else {
                        /*  TODO: Make this nicer.  */
                        if (machine->machine_type == MACHINE_SGI) {
                                if (machine->machine_subtype == 30)
                                        strcat(init_bootpath, "xio(0)pci(15)");
                                if (machine->machine_subtype == 32)
                                        strcat(init_bootpath, "pci(0)");
                        }

                        if (diskimage_is_a_cdrom(machine, bootdev_id))
                                snprintf(init_bootpath + strlen(init_bootpath), 400,
                                    "scsi(0)cdrom(%i)fdisk(0)", bootdev_id);
                        else
                                snprintf(init_bootpath + strlen(init_bootpath), 400,
                                    "scsi(0)disk(%i)rdisk(0)partition(1)", bootdev_id);
                }

                if (machine->machine_type == MACHINE_ARC)
                        strcat(init_bootpath, "\\");

                bootstr = malloc(strlen(init_bootpath) +
                    strlen(machine->boot_kernel_filename) + 1);
                strcpy(bootstr, init_bootpath);
                strcat(bootstr, machine->boot_kernel_filename);

                /*  Boot args., eg "-a"  */
                bootarg = machine->boot_string_argument;

                /*  argc, argv, envp in a0, a1, a2:  */
                cpu->cd.mips.gpr[MIPS_GPR_A0] = 0;      /*  note: argc is increased later  */

                /*  TODO:  not needed?  */
                cpu->cd.mips.gpr[MIPS_GPR_SP] = machine->physical_ram_in_mb * 1048576 + 0x80000000 - 0x2080;

                /*  Set up argc/argv:  */
                addr = ARC_ENV_STRINGS;
                addr2 = ARC_ARGV_START;
                cpu->cd.mips.gpr[MIPS_GPR_A1] = addr2;

                /*  bootstr:  */
                store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                add_environment_string(cpu, bootstr, &addr);
                cpu->cd.mips.gpr[MIPS_GPR_A0] ++;

                /*  bootarg:  */
                if (bootarg[0] != '\0') {
                        store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                        add_environment_string(cpu, bootarg, &addr);
                        cpu->cd.mips.gpr[MIPS_GPR_A0] ++;
                }

                cpu->cd.mips.gpr[MIPS_GPR_A2] = addr2;

                /*
                 *  Add environment variables.  For each variable, add it
                 *  as a string using add_environment_string(), and add a
                 *  pointer to it to the ARC_ENV_POINTERS array.
                 */
                if (machine->use_x11) {
                        if (machine->machine_type == MACHINE_ARC) {
                                store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                                add_environment_string(cpu, "CONSOLEIN=multi()key()keyboard()console()", &addr);
                                store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                                add_environment_string(cpu, "CONSOLEOUT=multi()video()monitor()console()", &addr);
                        } else {
                                store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                                add_environment_string(cpu, "ConsoleIn=keyboard()", &addr);
                                store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                                add_environment_string(cpu, "ConsoleOut=video()", &addr);

                                /*  g for graphical mode. G for graphical mode
                                    with SGI logo visible on Irix?  */
                                store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                                add_environment_string(cpu, "console=g", &addr);
                        }
                } else {
                        if (machine->machine_type == MACHINE_ARC) {
                                /*  TODO: serial console for ARC?  */
                                store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                                add_environment_string(cpu, "CONSOLEIN=multi()serial(0)", &addr);
                                store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                                add_environment_string(cpu, "CONSOLEOUT=multi()serial(0)", &addr);
                        } else {
                                store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                                add_environment_string(cpu, "ConsoleIn=serial(0)", &addr);
                                store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                                add_environment_string(cpu, "ConsoleOut=serial(0)", &addr);

                                /*  'd' or 'd2' in Irix, 'ttyS0' in Linux?  */
                                store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                                add_environment_string(cpu, "console=d", &addr);                /*  d2 = serial?  */
                        }
                }

                if (machine->machine_type == MACHINE_SGI) {
                        store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                        add_environment_string(cpu, "AutoLoad=No", &addr);
                        store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                        add_environment_string(cpu, "diskless=0", &addr);
                        store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                        add_environment_string(cpu, "volume=80", &addr);
                        store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                        add_environment_string(cpu, "sgilogo=y", &addr);

                        store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                        add_environment_string(cpu, "monitor=h", &addr);
                        store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                        add_environment_string(cpu, "TimeZone=GMT", &addr);
                        store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                        add_environment_string(cpu, "nogfxkbd=1", &addr);

                        /*  TODO: 'xio(0)pci(15)scsi(0)disk(1)rdisk(0)partition(0)' on IP30 at least  */

                        store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                        add_environment_string(cpu, "SystemPartition=pci(0)scsi(0)disk(2)rdisk(0)partition(8)", &addr);
                        store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                        add_environment_string(cpu, "OSLoadPartition=pci(0)scsi(0)disk(2)rdisk(0)partition(0)", &addr);
                        store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                        add_environment_string(cpu, "OSLoadFilename=/unix", &addr);
                        store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                        add_environment_string(cpu, "OSLoader=sash", &addr);

                        store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                        add_environment_string(cpu, "rbaud=9600", &addr);
                        store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                        add_environment_string(cpu, "rebound=y", &addr);
                        store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                        add_environment_string(cpu, "crt_option=1", &addr);
                        store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                        add_environment_string(cpu, "netaddr=10.0.0.1", &addr);

                        store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                        add_environment_string(cpu, "keybd=US", &addr);

                        store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                        add_environment_string(cpu, "cpufreq=3", &addr);
                        store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                        add_environment_string(cpu, "dbaud=9600", &addr);
                        store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                        add_environment_string(cpu, eaddr_string, &addr);
                        store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                        add_environment_string(cpu, "verbose=istrue", &addr);
                        store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                        add_environment_string(cpu, "showconfig=istrue", &addr);
                        store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                        add_environment_string(cpu, "diagmode=v", &addr);
                        store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                        add_environment_string(cpu, "kernname=unix", &addr);
                } else {
                        char *tmp;
                        tmp = malloc(strlen(bootarg) + strlen("OSLOADOPTIONS=") + 2);
                        sprintf(tmp, "OSLOADOPTIONS=%s", bootarg);
                        store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                        add_environment_string(cpu, tmp, &addr);

                        store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                        add_environment_string(cpu, "OSLOADPARTITION=scsi(0)cdrom(6)fdisk(0);scsi(0)disk(0)rdisk(0)partition(1)", &addr);

                        store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
                        add_environment_string(cpu, "SYSTEMPARTITION=scsi(0)cdrom(6)fdisk(0);scsi(0)disk(0)rdisk(0)partition(1)", &addr);
                }

                /*  End the environment strings with an empty zero-terminated
                    string, and the envp array with a NULL pointer.  */
                add_environment_string(cpu, "", &addr); /*  the end  */
                store_pointer_and_advance(cpu, &addr2,
                    0, arc_wordlen==sizeof(uint64_t));

no_arc_prom_emulation:          /*  TODO: ugly, get rid of the goto  */

                /*  Return address:  (0x20 = ReturnFromMain())  */
                cpu->cd.mips.gpr[MIPS_GPR_RA] = ARC_FIRMWARE_ENTRIES + 0x20;

                break;

        case MACHINE_MESHCUBE:
                machine->machine_name = "MeshCube";

                if (machine->physical_ram_in_mb != 64)
                        fprintf(stderr, "WARNING! MeshCubes are supposed to have exactly 64 MB RAM. Continuing anyway.\n");
                if (machine->use_x11)
                        fprintf(stderr, "WARNING! MeshCube with -X is meaningless. Continuing anyway.\n");

                /*  First of all, the MeshCube has an Au1500 in it:  */
                machine->md_interrupt = au1x00_interrupt;
                machine->au1x00_ic_data = dev_au1x00_init(machine, mem);

                /*
                 *  TODO:  Which non-Au1500 devices, and at what addresses?
                 *
                 *  "4G Systems MTX-1 Board" at ?
                 *      1017fffc, 14005004, 11700000, 11700008, 11900014,
                 *      1190002c, 11900100, 11900108, 1190010c,
                 *      10400040 - 10400074,
                 *      14001000 (possibly LCD?)
                 *      11100028 (possibly ttySx?)
                 *
                 *  "usb_ohci=base:0x10100000,len:0x100000,irq:26"
                 */

                device_add(machine, "random addr=0x1017fffc len=4");

                /*
                 *  TODO:  A Linux kernel wants "memsize" from somewhere... I
                 *  haven't found any docs on how it is used though.
                 */

                cpu->cd.mips.gpr[MIPS_GPR_A0] = 1;
                cpu->cd.mips.gpr[MIPS_GPR_A1] = 0xa0001000ULL;
                store_32bit_word(cpu, cpu->cd.mips.gpr[MIPS_GPR_A1],
                    0xa0002000ULL);
                store_string(cpu, 0xa0002000ULL, "something=somethingelse");

                cpu->cd.mips.gpr[MIPS_GPR_A2] = 0xa0003000ULL;
                store_string(cpu, 0xa0002000ULL, "hello=world\n");

                break;

        case MACHINE_NETGEAR:
                machine->machine_name = "NetGear WG602";

                if (machine->use_x11)
                        fprintf(stderr, "WARNING! NetGear with -X is meaningless. Continuing anyway.\n");
                if (machine->physical_ram_in_mb != 16)
                        fprintf(stderr, "WARNING! Real NetGear WG602 boxes have exactly 16 MB RAM. Continuing anyway.\n");

                /*
                 *  Lots of info about the IDT 79RC 32334
                 *  http://www.idt.com/products/pages/Integrated_Processors-79RC32334.html
                 */
                device_add(machine, "8250 addr=0x18000800 addr_mult=4 irq=0");
                break;

        case MACHINE_WRT54G:
                machine->machine_name = "Linksys WRT54G";

                if (machine->use_x11)
                        fprintf(stderr, "WARNING! Linksys WRT54G with -X is meaningless. Continuing anyway.\n");

                /*  200 MHz default  */
                if (machine->emulated_hz == 0)
                        machine->emulated_hz = 200000000;

                /*
                 *  Linux should be loaded at 0x80001000.
                 *  RAM: 16 or 32 MB, Flash RAM: 4 or 8 MB.
                 *  http://www.bumpclub.ee/~jaanus/wrt54g/vana/minicom.cap:
                 *
                 *  Starting program at 0x80001000
                 *  CPU revision is: 00029007
                 *  Primary instruction cache 8kb, linesize 16 bytes (2 ways)
                 *  Primary data cache 4kb, linesize 16 bytes (2 ways)
                 *   memory: 01000000 @ 00000000 (usable)
                 *  Kernel command line: root=/dev/mtdblock2 rootfstype=squashfs init=/etc/preinit noinitrd console=ttyS0,115200
                 *  CPU: BCM4712 rev 1 at 200 MHz
                 *  Calibrating delay loop... 199.47 BogoMIPS
                 *  ttyS00 at 0xb8000300 (irq = 3) is a 16550A
                 *  ttyS01 at 0xb8000400 (irq = 0) is a 16550A
                 *  Flash device: 0x400000 at 0x1c000000
                 *  ..
                 */

                /*  TODO: What should the initial register contents be?  */
#if 1
{
int i;
for (i=0; i<32; i++)
                cpu->cd.mips.gpr[i] = 0x01230000 + (i << 8) + 0x55;
}
#endif

                break;

        case MACHINE_SONYNEWS:
                /*
                 *  There are several models, according to
                 *  http://www.netbsd.org/Ports/newsmips/:
                 *
                 *  "R3000 and hyper-bus based models"
                 *      NWS-3470D, -3410, -3460, -3710, -3720
                 *
                 *  "R4000/4400 and apbus based models"
                 *      NWS-5000
                 *
                 *  For example: (found using google)
                 *
                 *    cpu_model = news3700
                 *    SONY NET WORK STATION, Model NWS-3710, Machine ID #30145
                 *    cpu0: MIPS R3000 (0x220) Rev. 2.0 with MIPS R3010 Rev.2.0
                 *    64KB/4B direct-mapped I, 64KB/4B direct-mapped w-thr. D
                 *
                 *  See http://katsu.watanabe.name/doc/sonynews/model.html
                 *  for more details.
                 */
                cpu->byte_order = EMUL_BIG_ENDIAN;
                machine->machine_name = "Sony NeWS (NET WORK STATION)";

                /*  This is just a test.  TODO  */
                {
                        int i;
                        for (i=0; i<32; i++)
                                cpu->cd.mips.gpr[i] =
                                    0x01230000 + (i << 8) + 0x55;
                }

                machine->main_console_handle =
                    dev_zs_init(machine, mem, 0x1e950000, 0, 1, "zs console");

                break;

        case MACHINE_BAREPPC:
                /*
                 *  A "bare" PPC machine.
                 *
                 *  NOTE: NO devices at all.
                 */
                machine->machine_name = "\"Bare\" PPC machine";
                break;

        case MACHINE_TESTPPC:
                /*
                 *  A PPC test machine, similar to the test machine for MIPS.
                 */
                machine->machine_name = "PPC test machine";

                /*  TODO: interrupt for PPC?  */
                machine->main_console_handle = dev_cons_init(
                    machine, mem, DEV_CONS_ADDRESS, "console", 0);

                snprintf(tmpstr, sizeof(tmpstr) - 1, "mp addr=0x%llx",
                    (long long)DEV_MP_ADDRESS);
                device_add(machine, tmpstr);

                fb = dev_fb_init(machine, mem, 0x12000000, VFB_GENERIC,
                    640,480, 640,480, 24, "generic", 1);
                break;

        case MACHINE_WALNUT:
                /*
                 *  NetBSD/evbppc (http://www.netbsd.org/Ports/evbppc/)
                 */
                machine->machine_name = "Walnut evaluation board";

                break;

        case MACHINE_PMPPC:
                /*
                 *  NetBSD/pmppc (http://www.netbsd.org/Ports/pmppc/)
                 */
                machine->machine_name = "Artesyn's PM/PPC board";

                dev_pmppc_init(mem);

                /*  com0 = 0xff600300, com1 = 0xff600400  */
                machine->main_console_handle = dev_ns16550_init(machine, mem,
                    0xff600300, 0, 1, 1, "serial 0");
                dev_ns16550_init(machine, mem,
                    0xff600400, 0, 1, 0, "serial 1");

                break;

        case MACHINE_SANDPOINT:
                /*
                 *  NetBSD/sandpoint (http://www.netbsd.org/Ports/sandpoint/)
                 */
                machine->machine_name = "Motorola Sandpoint";

                {
                        int i;
                        for (i=0; i<32; i++)
                                cpu->cd.ppc.gpr[i] =
                                    0x12340000 + (i << 8) + 0x55;
                }

                break;

        case MACHINE_BEBOX:
                /*
                 *  NetBSD/bebox (http://www.netbsd.org/Ports/bebox/)
                 */
                machine->machine_name = "BeBox";

                device_add(machine, "bebox");

                /*  Serial, used by NetBSD:  */
                machine->main_console_handle = dev_ns16550_init(machine, mem,
                    0x800003f8, 0, 1, 1, "serial 0");

                /*  Serial, used by Linux:  */
                dev_ns16550_init(machine, mem, 0x800002f8, 0, 1, 0, "serial 1");

                /*  This is used by Linux too:  */
                dev_vga_init(machine, mem, 0xc00b8000ULL, 0x800003c0ULL, 80, 25,
                    machine->machine_name);

                store_32bit_word(cpu, 0x3010,
                    machine->physical_ram_in_mb * 1048576);

                /*  TODO: List of stuff, see http://www.beatjapan.org/
                    mirror/www.be.com/aboutbe/benewsletter/
                    Issue27.html#Cookbook  for the details.  */
                store_32bit_word(cpu, 0x301c, 0);

                /*  NetBSD/bebox: r3 = startkernel, r4 = endkernel,
                    r5 = args, r6 = ptr to bootinfo?  */
                cpu->cd.ppc.gpr[3] = 0x3100;
                cpu->cd.ppc.gpr[4] = 0x200000;
                cpu->cd.ppc.gpr[5] = 0x2000;
                store_string(cpu, cpu->cd.ppc.gpr[5], "-a");
                cpu->cd.ppc.gpr[6] = machine->physical_ram_in_mb * 1048576
                    - 0x100;

                /*  See NetBSD's bebox/include/bootinfo.h for details  */
                store_32bit_word(cpu, cpu->cd.ppc.gpr[6] + 0, 12);  /*  next  */
                store_32bit_word(cpu, cpu->cd.ppc.gpr[6] + 4, 0);  /*  mem  */
                store_32bit_word(cpu, cpu->cd.ppc.gpr[6] + 8,
                    machine->physical_ram_in_mb * 1048576);

                store_32bit_word(cpu, cpu->cd.ppc.gpr[6] + 12, 20);  /* next */
                store_32bit_word(cpu, cpu->cd.ppc.gpr[6] + 16, 1); /* console */
                store_buf(cpu, cpu->cd.ppc.gpr[6] + 20, "com", 4);
                store_32bit_word(cpu, cpu->cd.ppc.gpr[6] + 24, 0x3f8);/* addr */
                store_32bit_word(cpu, cpu->cd.ppc.gpr[6] + 28, 9600);/* speed */

                store_32bit_word(cpu, cpu->cd.ppc.gpr[6] + 32, 0);  /*  next  */
                store_32bit_word(cpu, cpu->cd.ppc.gpr[6] + 36, 2);  /*  clock */
                store_32bit_word(cpu, cpu->cd.ppc.gpr[6] + 40, 100);

                break;

        case MACHINE_PREP:
                /*
                 *  NetBSD/prep (http://www.netbsd.org/Ports/prep/)
                 */
                machine->machine_name = "PowerPC Reference Platform";

                {
                        int i;
                        for (i=0; i<32; i++)
                                cpu->cd.ppc.gpr[i] =
                                    0x12340000 + (i << 8) + 0x55;
                }

                /*  Linux on PReP has 0xdeadc0de at address 0? (See
                    http://joshua.raleigh.nc.us/docs/linux-2.4.10_html/113568.html)  */
                store_32bit_word(cpu, 0, 0xdeadc0de);

                /*  r6 should point to "residual data"?  */
                cpu->cd.ppc.gpr[6] = machine->physical_ram_in_mb * 1048576
                    - 0x1000;

                break;

        case MACHINE_MACPPC:
                /*
                 *  NetBSD/macppc (http://www.netbsd.org/Ports/macppc/)
                 *  OpenBSD/macppc (http://www.openbsd.org/macppc.html)
                 */
                machine->machine_name = "Macintosh (PPC)";

                /*  r5 = OpenFirmware entry point  */
                cpu->cd.ppc.gpr[5] = cpu->cd.ppc.of_emul_addr;

                break;

        case MACHINE_DB64360:
                /*  For playing with PMON2000 for PPC:  */
                machine->machine_name = "DB64360";

                machine->main_console_handle = dev_ns16550_init(machine, mem,
                    0x1d000020, 0, 4, 1, "serial console");

                {
                        int i;
                        for (i=0; i<32; i++)
                                cpu->cd.ppc.gpr[i] =
                                    0x12340000 + (i << 8) + 0x55;
                }

                break;

        case MACHINE_BARESPARC:
                /*  A bare SPARC machine, with no devices.  */
                machine->machine_name = "\"Bare\" SPARC machine";
                break;

        case MACHINE_ULTRA1:
                /*
                 *  NetBSD/sparc64 (http://www.netbsd.org/Ports/sparc64/)
                 *  OpenBSD/sparc64 (http://www.openbsd.org/sparc64.html)
                 */
                machine->machine_name = "Sun Ultra1";
                break;

        case MACHINE_BAREURISC:
                machine->machine_name = "\"Bare\" URISC machine";
                break;

        case MACHINE_TESTURISC:
                machine->machine_name = "URISC test machine";

                /*  TODO  */
                /*  A special "device" for accessing normal devices
                    using urisc accesses?  */

                device_add(machine, "urisc addr=0x12341234");

                break;

        case MACHINE_BAREHPPA:
                machine->machine_name = "\"Bare\" HPPA machine";
                break;

        case MACHINE_TESTHPPA:
                machine->machine_name = "HPPA test machine";

                /*  TODO  */
                break;

        case MACHINE_BAREALPHA:
                machine->machine_name = "\"Bare\" Alpha machine";
                break;

        case MACHINE_TESTALPHA:
                machine->machine_name = "Alpha test machine";

                /*  TODO  */
                break;

        case MACHINE_BAREX86:
                machine->machine_name = "\"Bare\" x86 machine";
                break;

        case MACHINE_X86:
                machine->machine_name = "Generic x86 PC";

                if (!machine->use_x11)
                        fprintf(stderr, "WARNING! You are emulating a PC "
                            "without -X. You will miss any output going\n"
                            "to the screen!\n\n");

                /*
                 *  Initialize all 16-bit interrupt vectors to point to
                 *  somewhere within the PC BIOS area (0xf000:0x8yyy):
                 */
                for (i=0; i<256; i++) {
                        store_16bit_word(cpu, i*4, 0x8000 + i);
                        store_16bit_word(cpu, i*4 + 2, 0xf000);
                }

                dev_vga_init(machine, mem, 0xb8000ULL, 0x1000003c0ULL, 80, 25,
                    "Generic x86 PC");

                dev_wdc_init(machine, mem, 0x1000001f0ULL, 14, 0);

                /*  TODO: disable the "enable" flag when a keyboard has
                    been added:  */
                machine->main_console_handle = dev_ns16550_init(machine, mem,
                    0x1000003f8ULL, 4, 1, 1, "com1");
                dev_ns16550_init(machine, mem, 0x100000378ULL, 3, 1, 0, "com2");

                break;

        default:
                fatal("Unknown emulation type %i\n", machine->machine_type);
                exit(1);
        }

        if (machine->machine_name != NULL)
                debug("machine: %s", machine->machine_name);

        if (machine->emulated_hz > 0)
                debug(" (%.2f MHz)", (float)machine->emulated_hz / 1000000);
        debug("\n");

        if (machine->emulated_hz < 1)
                machine->emulated_hz = 1000000;

        if (bootstr != NULL) {
                debug("bootstring%s: %s", (bootarg!=NULL &&
                    strlen(bootarg) >= 1)? "(+bootarg)" : "", bootstr);
                if (bootarg != NULL && strlen(bootarg) >= 1)
                        debug(" %s", bootarg);
                debug("\n");
        }
}


/*
 *  machine_memsize_fix():
 *
 *  Sets physical_ram_in_mb (if not already set), and memory_offset_in_mb,
 *  depending on machine type.
 */
void machine_memsize_fix(struct machine *m)
{
        if (m == NULL) {
                fatal("machine_defaultmemsize(): m == NULL?\n");
                exit(1);
        }

        if (m->physical_ram_in_mb == 0) {
                switch (m->machine_type) {
                case MACHINE_PS2:
                        m->physical_ram_in_mb = 32;
                        break;
                case MACHINE_SGI:
                        m->physical_ram_in_mb = 64;
                        break;
                case MACHINE_HPCMIPS:
                        /*  Most have 32 MB by default.  */
                        m->physical_ram_in_mb = 32;
                        switch (m->machine_subtype) {
                        case MACHINE_HPCMIPS_CASIO_BE300:
                                m->physical_ram_in_mb = 16;
                                break;
                        case MACHINE_HPCMIPS_CASIO_E105:
                                m->physical_ram_in_mb = 32;
                                break;
                        case MACHINE_HPCMIPS_AGENDA_VR3:
                                m->physical_ram_in_mb = 16;
                                break;
                        }
                        break;
                case MACHINE_MESHCUBE:
                        m->physical_ram_in_mb = 64;
                        break;
                case MACHINE_NETGEAR:
                        m->physical_ram_in_mb = 16;
                        break;
                case MACHINE_WRT54G:
                        m->physical_ram_in_mb = 32;
                        break;
                case MACHINE_ARC:
                        switch (m->machine_subtype) {
                        case MACHINE_ARC_JAZZ_PICA:
                                m->physical_ram_in_mb = 64;
                                break;
                        case MACHINE_ARC_JAZZ_M700:
                                m->physical_ram_in_mb = 64;
                                break;
                        default:
                                m->physical_ram_in_mb = 32;
                        }
                        break;
                case MACHINE_DEC:
                        switch (m->machine_subtype) {
                        case MACHINE_DEC_PMAX_3100:
                                m->physical_ram_in_mb = 24;
                                break;
                        default:
                                m->physical_ram_in_mb = 32;
                        }
                        break;
                case MACHINE_BEBOX:
                        m->physical_ram_in_mb = 64;
                        break;
                case MACHINE_BAREURISC:
                case MACHINE_TESTURISC:
                        m->physical_ram_in_mb = 2;
                        break;
                }
        }

        /*  Special hack for WRT54G and hpcmips machines:  */
        if (m->machine_type == MACHINE_WRT54G ||
            m->machine_type == MACHINE_HPCMIPS) {
                m->dbe_on_nonexistant_memaccess = 0;
        }

        /*  Special SGI memory offsets:  */
        if (m->machine_type == MACHINE_SGI) {
                switch (m->machine_subtype) {
                case 20:
                case 22:
                case 24:
                case 26:
                        m->memory_offset_in_mb = 128;
                        break;
                case 28:
                case 30:
                        m->memory_offset_in_mb = 512;
                        break;
                }
        }

        if (m->physical_ram_in_mb == 0)
                m->physical_ram_in_mb = DEFAULT_RAM_IN_MB;
}


/*
 *  machine_default_cputype():
 *
 *  Sets m->cpu_name, if it isn't already set, depending on the machine
 *  type.
 */
void machine_default_cputype(struct machine *m)
{
        if (m == NULL) {
                fatal("machine_default_cputype(): m == NULL?\n");
                exit(1);
        }

        if (m->cpu_name != NULL)
                return;

        switch (m->machine_type) {
        case MACHINE_BAREMIPS:
        case MACHINE_TESTMIPS:
                m->cpu_name = strdup("R4000");
                break;
        case MACHINE_PS2:
                m->cpu_name = strdup("R5900");
                break;
        case MACHINE_DEC:
                if (m->machine_subtype > 2)
                        m->cpu_name = strdup("R3000A");
                if (m->machine_subtype > 1 && m->cpu_name == NULL)
                        m->cpu_name = strdup("R3000");
                if (m->cpu_name == NULL)
                        m->cpu_name = strdup("R2000");
                break;
        case MACHINE_SONYNEWS:
                m->cpu_name = strdup("R3000");
                break;
        case MACHINE_HPCMIPS:
                switch (m->machine_subtype) {
                case MACHINE_HPCMIPS_CASIO_BE300:
                        m->cpu_name = strdup("VR4131");
                        break;
                case MACHINE_HPCMIPS_CASIO_E105:
                        m->cpu_name = strdup("VR4121");
                        break;
                case MACHINE_HPCMIPS_NEC_MOBILEPRO_770:
                case MACHINE_HPCMIPS_NEC_MOBILEPRO_780:
                case MACHINE_HPCMIPS_NEC_MOBILEPRO_800:
                case MACHINE_HPCMIPS_NEC_MOBILEPRO_880:
                        m->cpu_name = strdup("VR4121");
                        break;
                case MACHINE_HPCMIPS_AGENDA_VR3:
                        m->cpu_name = strdup("VR4181");
                        break;
                case MACHINE_HPCMIPS_IBM_WORKPAD_Z50:
                        m->cpu_name = strdup("VR4121");
                        break;
                default:
                        printf("Unimplemented HPCMIPS model?\n");
                        exit(1);
                }
                break;
        case MACHINE_COBALT:
                m->cpu_name = strdup("RM5200");
                break;
        case MACHINE_MESHCUBE:
                m->cpu_name = strdup("R4400");
                /*  TODO:  Should be AU1500, but Linux doesn't like
                    the absence of caches in the emulator  */
                break;
        case MACHINE_NETGEAR:
                m->cpu_name = strdup("RC32334");
                break;
        case MACHINE_WRT54G:
                m->cpu_name = strdup("BCM4712");
                break;
        case MACHINE_ARC:
                switch (m->machine_subtype) {
                case MACHINE_ARC_JAZZ_PICA:
                        m->cpu_name = strdup("R4000");
                        break;
                default:
                        m->cpu_name = strdup("R4400");
                }
                break;
        case MACHINE_SGI:
                if (m->machine_subtype <= 12)
                        m->cpu_name = strdup("R3000");
                if (m->cpu_name == NULL && m->machine_subtype == 35)
                        m->cpu_name = strdup("R12000");
                if (m->cpu_name == NULL && (m->machine_subtype == 25 ||
                    m->machine_subtype == 27 ||
                    m->machine_subtype == 28 ||
                    m->machine_subtype == 30 ||
                    m->machine_subtype == 32))
                        m->cpu_name = strdup("R10000");
                if (m->cpu_name == NULL && (m->machine_subtype == 21 ||
                    m->machine_subtype == 26))
                        m->cpu_name = strdup("R8000");
                if (m->cpu_name == NULL && m->machine_subtype == 24)
                        m->cpu_name = strdup("R5000");

                /*  Other SGIs should probably work with
                    R4000, R4400 or R5000 or similar:  */
                if (m->cpu_name == NULL)
                        m->cpu_name = strdup("R4400");
                break;

        /*  PowerPC:  */
        case MACHINE_BAREPPC:
        case MACHINE_TESTPPC:
                m->cpu_name = strdup("PPC970");
                break;
        case MACHINE_WALNUT:
                /*  For NetBSD/evbppc.  */
                m->cpu_name = strdup("PPC405GP");
                break;
        case MACHINE_PMPPC:
                /*  For NetBSD/pmppc.  */
                m->cpu_name = strdup("PPC750");
                break;
        case MACHINE_SANDPOINT:
                /*
                 *  For NetBSD/sandpoint. According to NetBSD's page:
                 *
                 *  "Unity" module has an MPC8240.
                 *  "Altimus" module has an MPC7400 (G4) or an MPC107.
                 */
                m->cpu_name = strdup("MPC7400");
                break;
        case MACHINE_BEBOX:
                /*  For NetBSD/bebox. Dual 133 MHz 603e CPUs, for example.  */
                m->cpu_name = strdup("PPC603e");
                break;
        case MACHINE_PREP:
                /*  For NetBSD/prep. TODO  */
                m->cpu_name = strdup("PPC603e");
                break;
        case MACHINE_MACPPC:
                switch (m->machine_subtype) {
                case MACHINE_MACPPC_G4:
                        m->cpu_name = strdup("G4e");
                        break;
                case MACHINE_MACPPC_G5:
                        m->cpu_name = strdup("PPC970");
                        break;
                }
                break;
        case MACHINE_DB64360:
                m->cpu_name = strdup("PPC750");
                break;

        /*  SPARC:  */
        case MACHINE_BARESPARC:
                m->cpu_name = strdup("SPARCV9");
                break;
        case MACHINE_ULTRA1:
                m->cpu_name = strdup("SPARCV9");
                break;

        /*  URISC:  */
        case MACHINE_BAREURISC:
        case MACHINE_TESTURISC:
                m->cpu_name = strdup("URISC");
                break;

        /*  HPPA:  */
        case MACHINE_BAREHPPA:
        case MACHINE_TESTHPPA:
                m->cpu_name = strdup("HPPA2.0");
                break;

        /*  Alpha:  */
        case MACHINE_BAREALPHA:
        case MACHINE_TESTALPHA:
                m->cpu_name = strdup("EV4");
                break;

        /*  x86:  */
        case MACHINE_BAREX86:
        case MACHINE_X86:
                m->cpu_name = strdup("PENTIUM");
                break;
        }

        if (m->cpu_name == NULL) {
                fprintf(stderr, "machine_default_cputype(): no default"
                    " cpu for machine type %i subtype %i\n",
                    m->machine_type, m->machine_subtype);
                exit(1);
        }
}


/*
 *  machine_dumpinfo():
 *
 *  Dumps info about a machine in some kind of readable format. (Used by
 *  the 'machine' debugger command.)
 */
void machine_dumpinfo(struct machine *m)
{
        int i;

        debug("serial nr: %i", m->serial_nr);
        if (m->nr_of_nics > 0)
                debug("  (nr of nics: %i)", m->nr_of_nics);
        debug("\n");

        debug("memory: %i MB", m->physical_ram_in_mb);
        if (m->memory_offset_in_mb != 0)
                debug(" (offset by %i MB)", m->memory_offset_in_mb);
        if (m->random_mem_contents)
                debug(", randomized contents");
        if (m->dbe_on_nonexistant_memaccess)
                debug(", dbe_on_nonexistant_memaccess");
        debug("\n");

        if (m->single_step_on_bad_addr)
                debug("single-step on bad addresses\n");

        if (m->bintrans_enable)
                debug("bintrans enabled (%i MB cache)\n",
                    (int) (m->bintrans_size / 1048576));
        else
                debug("bintrans disabled, other speedtricks %s\n",
                    m->speed_tricks? "enabled" : "disabled");

        debug("clock: ");
        if (m->automatic_clock_adjustment)
                debug("adjusted automatically");
        else
                debug("fixed at %i Hz", m->emulated_hz);
        debug("\n");

        if (!m->prom_emulation)
                debug("PROM emulation disabled\n");

        for (i=0; i<m->ncpus; i++)
                cpu_dumpinfo(m, m->cpus[i]);

        if (m->ncpus > 1)
                debug("Bootstrap cpu is nr %i\n", m->bootstrap_cpu);

        if (m->slow_serial_interrupts_hack_for_linux)
                debug("Using slow_serial_interrupts_hack_for_linux\n");

        if (m->use_x11) {
                debug("Using X11");
                if (m->x11_scaledown > 1)
                        debug(", scaledown %i", m->x11_scaledown);
                if (m->x11_n_display_names > 0) {
                        for (i=0; i<m->x11_n_display_names; i++) {
                                debug(i? ", " : " (");
                                debug("\"%s\"", m->x11_display_names[i]);
                        }
                        debug(")");
                }
                debug("\n");
        }

        diskimage_dump_info(m);

        if (m->force_netboot)
                debug("Forced netboot\n");
}


/*
 *  machine_entry_new():
 *
 *  This function creates a new machine_entry struct, and fills it with some
 *  valid data; it is up to the caller to add additional data that weren't
 *  passed as arguments to this function.
 *
 *  For internal use.
 */
static struct machine_entry *machine_entry_new(const char *name,
        int arch, int oldstyle_type, int n_aliases, int n_subtypes)
{
        struct machine_entry *me;

        me = malloc(sizeof(struct machine_entry));
        if (me == NULL) {
                fprintf(stderr, "machine_entry_new(): out of memory (1)\n");
                exit(1);
        }

        memset(me, 0, sizeof(struct machine_entry));

        me->name = name;
        me->arch = arch;
        me->machine_type = oldstyle_type;
        me->n_aliases = n_aliases;
        me->aliases = malloc(sizeof(char *) * n_aliases);
        if (me->aliases == NULL) {
                fprintf(stderr, "machine_entry_new(): out of memory (2)\n");
                exit(1);
        }
        me->n_subtypes = n_subtypes;

        if (n_subtypes > 0) {
                me->subtype = malloc(sizeof(struct machine_entry_subtype *) *
                    n_subtypes);
                if (me->subtype == NULL) {
                        fprintf(stderr, "machine_entry_new(): out of "
                            "memory (3)\n");
                        exit(1);
                }
        }

        return me;
}


/*
 *  machine_entry_subtype_new():
 *
 *  This function creates a new machine_entry_subtype struct, and fills it with
 *  some valid data; it is up to the caller to add additional data that weren't
 *  passed as arguments to this function.
 *
 *  For internal use.
 */
static struct machine_entry_subtype *machine_entry_subtype_new(
        const char *name, int oldstyle_type, int n_aliases)
{
        struct machine_entry_subtype *mes;

        mes = malloc(sizeof(struct machine_entry_subtype));
        if (mes == NULL) {
                fprintf(stderr, "machine_entry_subtype_new(): out "
                    "of memory (1)\n");
                exit(1);
        }

        memset(mes, 0, sizeof(struct machine_entry_subtype));
        mes->name = name;
        mes->machine_subtype = oldstyle_type;
        mes->n_aliases = n_aliases;
        mes->aliases = malloc(sizeof(char *) * n_aliases);
        if (mes->aliases == NULL) {
                fprintf(stderr, "machine_entry_subtype_new(): "
                    "out of memory (2)\n");
                exit(1);
        }

        return mes;
}


/*
 *  machine_list_available_types_and_cpus():
 *
 *  List all available machine types (for example when running the emulator
 *  with just -H as command line argument).
 */
void machine_list_available_types_and_cpus(void)
{
        struct machine_entry *me;
        int iadd = 8;

        debug("Available CPU types:\n\n");

        debug_indentation(iadd);
        cpu_list_available_types();
        debug_indentation(-iadd);  

        debug("\nMost of the CPU types are bogus, and not really implemented."
            " The main effect of\nselecting a specific CPU type is to choose "
            "what kind of 'id' it will have.\n\nAvailable machine types (with "
            "aliases) and their subtypes:\n\n");

        debug_indentation(iadd);
        me = first_machine_entry;

        if (me == NULL)
                fatal("No machines defined!\n");

        while (me != NULL) {
                int i, j, iadd = 4;

                debug("%s", me->name);
                debug(" (");
                for (i=0; i<me->n_aliases; i++)
                        debug("%s\"%s\"", i? ", " : "", me->aliases[i]);
                debug(")\n");

                debug_indentation(iadd);
                for (i=0; i<me->n_subtypes; i++) {
                        struct machine_entry_subtype *mes;
                        mes = me->subtype[i];
                        debug("- %s", mes->name);
                        debug(" (");
                        for (j=0; j<mes->n_aliases; j++)
                                debug("%s\"%s\"", j? ", " : "",
                                    mes->aliases[j]);
                        debug(")\n");
                }
                debug_indentation(-iadd);

                me = me->next;
        }
        debug_indentation(-iadd);

        debug("\nMost of the machine types are bogus too. Please read the "
            "GXemul\ndocumentation for information about which machine"
            " types that actually\nwork. Use the alias when selecting a "  
            "machine type or subtype, not the\nreal name.\n");

        debug("\n");

        useremul_list_emuls();
}


/*
 *  machine_init():
 *
 *  This function should be called before any other machine_*() function
 *  is used.
 */
void machine_init(void)
{
        struct machine_entry *me;

        /*
         *  NOTE: This list is in reverse order, so that the
         *  entries will appear in normal order when listed.  :-)
         */

        /*  X86 machine:  */
        me = machine_entry_new("x86 (generic PC-style machine)", ARCH_X86,
            MACHINE_X86, 2, 0);
        me->aliases[0] = "pc";
        me->aliases[1] = "x86";
        if (cpu_family_ptr_by_number(ARCH_X86) != NULL) {
                me->next = first_machine_entry; first_machine_entry = me;
        }

        /*  Walnut: (NetBSD/evbppc)  */
        me = machine_entry_new("Walnut evaluation board", ARCH_PPC,
            MACHINE_WALNUT, 2, 0);
        me->aliases[0] = "walnut";
        me->aliases[1] = "evbppc";
        if (cpu_family_ptr_by_number(ARCH_PPC) != NULL) {
                me->next = first_machine_entry; first_machine_entry = me;
        }

        /*  Test-machine for URISC:  */
        me = machine_entry_new("Test-machine for URISC", ARCH_URISC,
            MACHINE_TESTURISC, 1, 0);
        me->aliases[0] = "testurisc";
        if (cpu_family_ptr_by_number(ARCH_URISC) != NULL) {
                me->next = first_machine_entry; first_machine_entry = me;
        }

        /*  Test-machine for PPC:  */
        me = machine_entry_new("Test-machine for PPC", ARCH_PPC,
            MACHINE_TESTPPC, 1, 0);
        me->aliases[0] = "testppc";
        if (cpu_family_ptr_by_number(ARCH_PPC) != NULL) {
                me->next = first_machine_entry; first_machine_entry = me;
        }

        /*  Test-machine for MIPS:  */
        me = machine_entry_new("Test-machine for MIPS", ARCH_MIPS,
            MACHINE_TESTMIPS, 1, 0);
        me->aliases[0] = "testmips";
        if (cpu_family_ptr_by_number(ARCH_MIPS) != NULL) {
                me->next = first_machine_entry; first_machine_entry = me;
        }

        /*  Test-machine for HPPA:  */
        me = machine_entry_new("Test-machine for HPPA", ARCH_HPPA,
            MACHINE_TESTHPPA, 1, 0);
        me->aliases[0] = "testhppa";
        if (cpu_family_ptr_by_number(ARCH_HPPA) != NULL) {
                me->next = first_machine_entry; first_machine_entry = me;
        }

        /*  Test-machine for Alpha:  */
        me = machine_entry_new("Test-machine for Alpha", ARCH_ALPHA,
            MACHINE_TESTALPHA, 1, 0);
        me->aliases[0] = "testalpha";
        if (cpu_family_ptr_by_number(ARCH_ALPHA) != NULL) {
                me->next = first_machine_entry; first_machine_entry = me;
        }

        /*  Sun Ultra1:  */
        me = machine_entry_new("Sun Ultra1", ARCH_SPARC, MACHINE_ULTRA1, 1, 0);
        me->aliases[0] = "ultra1";
        if (cpu_family_ptr_by_number(ARCH_SPARC) != NULL) {
                me->next = first_machine_entry; first_machine_entry = me;
        }

        /*  Sony Playstation 2:  */
        me = machine_entry_new("Sony Playstation 2", ARCH_MIPS,
            MACHINE_PS2, 2, 0);
        me->aliases[0] = "playstation2";
        me->aliases[1] = "ps2";
        if (cpu_family_ptr_by_number(ARCH_MIPS) != NULL) {
                me->next = first_machine_entry; first_machine_entry = me;
        }

        /*  Sony NeWS:  */
        me = machine_entry_new("Sony NeWS", ARCH_MIPS,
            MACHINE_SONYNEWS, 2, 0);
        me->aliases[0] = "sonynews";
        me->aliases[1] = "news";
        if (cpu_family_ptr_by_number(ARCH_MIPS) != NULL) {
                me->next = first_machine_entry; first_machine_entry = me;
        }

        /*  SGI:  */
        me = machine_entry_new("SGI", ARCH_MIPS, MACHINE_SGI, 2, 9);
        me->aliases[0] = "silicon graphics";
        me->aliases[1] = "sgi";
        me->subtype[0] = machine_entry_subtype_new("IP19", 19, 1);
        me->subtype[0]->aliases[0] = "ip19";
        me->subtype[1] = machine_entry_subtype_new("IP20", 20, 1);
        me->subtype[1]->aliases[0] = "ip20";
        me->subtype[2] = machine_entry_subtype_new("IP22", 22, 2);
        me->subtype[2]->aliases[0] = "ip22";
        me->subtype[2]->aliases[1] = "indy";
        me->subtype[3] = machine_entry_subtype_new("IP24", 24, 1);
        me->subtype[3]->aliases[0] = "ip24";
        me->subtype[4] = machine_entry_subtype_new("IP27", 27, 3);
        me->subtype[4]->aliases[0] = "ip27";
        me->subtype[4]->aliases[1] = "origin 200";
        me->subtype[4]->aliases[2] = "origin 2000";
        me->subtype[5] = machine_entry_subtype_new("IP28", 28, 1);
        me->subtype[5]->aliases[0] = "ip28";
        me->subtype[6] = machine_entry_subtype_new("IP30", 30, 2);
        me->subtype[6]->aliases[0] = "ip30";
        me->subtype[6]->aliases[1] = "octane";
        me->subtype[7] = machine_entry_subtype_new("IP32", 32, 2);
        me->subtype[7]->aliases[0] = "ip32";
        me->subtype[7]->aliases[1] = "o2";
        me->subtype[8] = machine_entry_subtype_new("IP35", 35, 1);
        me->subtype[8]->aliases[0] = "ip35";
        if (cpu_family_ptr_by_number(ARCH_MIPS) != NULL) {
                me->next = first_machine_entry; first_machine_entry = me;
        }

        /*  PReP: (NetBSD/prep etc.)  */
        me = machine_entry_new("PowerPC Reference Platform", ARCH_PPC,
            MACHINE_PREP, 1, 0);
        me->aliases[0] = "prep";
        if (cpu_family_ptr_by_number(ARCH_PPC) != NULL) {
                me->next = first_machine_entry; first_machine_entry = me;
        }

        /*  NetGear:  */
        me = machine_entry_new("NetGear WG602", ARCH_MIPS,
            MACHINE_NETGEAR, 2, 0);
        me->aliases[0] = "netgear";
        me->aliases[1] = "wg602";
        if (cpu_family_ptr_by_number(ARCH_MIPS) != NULL) {
                me->next = first_machine_entry; first_machine_entry = me;
        }

        /*  Motorola Sandpoint: (NetBSD/sandpoint)  */
        me = machine_entry_new("Motorola Sandpoint",
            ARCH_PPC, MACHINE_SANDPOINT, 1, 0);
        me->aliases[0] = "sandpoint";
        if (cpu_family_ptr_by_number(ARCH_PPC) != NULL) {
                me->next = first_machine_entry; first_machine_entry = me;
        }

        /*  Meshcube:  */
        me = machine_entry_new("Meshcube", ARCH_MIPS, MACHINE_MESHCUBE, 1, 0);
        me->aliases[0] = "meshcube";
        if (cpu_family_ptr_by_number(ARCH_MIPS) != NULL) {
                me->next = first_machine_entry; first_machine_entry = me;
        }

        /*  Macintosh (PPC):  */
        me = machine_entry_new("Macintosh (PPC)", ARCH_PPC,
            MACHINE_MACPPC, 1, 2);
        me->aliases[0] = "macppc";
        me->subtype[0] = machine_entry_subtype_new("MacPPC G4",
            MACHINE_MACPPC_G4, 1);
        me->subtype[0]->aliases[0] = "g4";
        me->subtype[1] = machine_entry_subtype_new("MacPPC G5",
            MACHINE_MACPPC_G5, 1);
        me->subtype[1]->aliases[0] = "g5";
        if (cpu_family_ptr_by_number(ARCH_PPC) != NULL) {
                me->next = first_machine_entry; first_machine_entry = me;
        }

        /*  Linksys:  */
        me = machine_entry_new("Linksys WRT54G", ARCH_MIPS,
            MACHINE_WRT54G, 2, 0);
        me->aliases[0] = "linksys";
        me->aliases[1] = "wrt54g";
        if (cpu_family_ptr_by_number(ARCH_MIPS) != NULL) {
                me->next = first_machine_entry; first_machine_entry = me;
        }

        /*  HPCmips:  */
        me = machine_entry_new("Handheld MIPS (HPC)",
            ARCH_MIPS, MACHINE_HPCMIPS, 2, 8);
        me->aliases[0] = "hpcmips";
        me->aliases[1] = "hpc";
        me->subtype[0] = machine_entry_subtype_new(
            "Casio Cassiopeia BE-300", MACHINE_HPCMIPS_CASIO_BE300, 2);
        me->subtype[0]->aliases[0] = "be-300";
        me->subtype[0]->aliases[1] = "be300";
        me->subtype[1] = machine_entry_subtype_new(
            "Casio Cassiopeia E-105", MACHINE_HPCMIPS_CASIO_E105, 2);
        me->subtype[1]->aliases[0] = "e-105";
        me->subtype[1]->aliases[1] = "e105";
        me->subtype[2] = machine_entry_subtype_new(
            "Agenda VR3", MACHINE_HPCMIPS_AGENDA_VR3, 2);
        me->subtype[2]->aliases[0] = "agenda";
        me->subtype[2]->aliases[1] = "vr3";
        me->subtype[3] = machine_entry_subtype_new(
            "IBM WorkPad Z50", MACHINE_HPCMIPS_IBM_WORKPAD_Z50, 2);
        me->subtype[3]->aliases[0] = "workpad";
        me->subtype[3]->aliases[1] = "z50";
        me->subtype[4] = machine_entry_subtype_new(
            "NEC MobilePro 770", MACHINE_HPCMIPS_NEC_MOBILEPRO_770, 1);
        me->subtype[4]->aliases[0] = "mobilepro770";
        me->subtype[5] = machine_entry_subtype_new(
            "NEC MobilePro 780", MACHINE_HPCMIPS_NEC_MOBILEPRO_780, 1);
        me->subtype[5]->aliases[0] = "mobilepro780";
        me->subtype[6] = machine_entry_subtype_new(
            "NEC MobilePro 800", MACHINE_HPCMIPS_NEC_MOBILEPRO_800, 1);
        me->subtype[6]->aliases[0] = "mobilepro800";
        me->subtype[7] = machine_entry_subtype_new(
            "NEC MobilePro 880", MACHINE_HPCMIPS_NEC_MOBILEPRO_880, 1);
        me->subtype[7]->aliases[0] = "mobilepro880";
        if (cpu_family_ptr_by_number(ARCH_MIPS) != NULL) {
                me->next = first_machine_entry; first_machine_entry = me;
        }

        /*  Generic "bare" X86 machine:  */
        me = machine_entry_new("Generic \"bare\" X86 machine", ARCH_X86,
            MACHINE_BAREX86, 1, 0);
        me->aliases[0] = "barex86";
        if (cpu_family_ptr_by_number(ARCH_X86) != NULL) {
                me->next = first_machine_entry; first_machine_entry = me;
        }

        /*  Generic "bare" URISC machine:  */
        me = machine_entry_new("Generic \"bare\" URISC machine", ARCH_URISC,
            MACHINE_BAREURISC, 1, 0);
        me->aliases[0] = "bareurisc";
        if (cpu_family_ptr_by_number(ARCH_URISC) != NULL) {
                me->next = first_machine_entry; first_machine_entry = me;
        }

        /*  Generic "bare" SPARC machine:  */
        me = machine_entry_new("Generic \"bare\" SPARC machine", ARCH_SPARC,
            MACHINE_BARESPARC, 1, 0);
        me->aliases[0] = "baresparc";
        if (cpu_family_ptr_by_number(ARCH_SPARC) != NULL) {
                me->next = first_machine_entry; first_machine_entry = me;
        }

        /*  Generic "bare" PPC machine:  */
        me = machine_entry_new("Generic \"bare\" PPC machine", ARCH_PPC,
            MACHINE_BAREPPC, 1, 0);
        me->aliases[0] = "bareppc";
        if (cpu_family_ptr_by_number(ARCH_PPC) != NULL) {
                me->next = first_machine_entry; first_machine_entry = me;
        }

        /*  Generic "bare" MIPS machine:  */
        me = machine_entry_new("Generic \"bare\" MIPS machine", ARCH_MIPS,
            MACHINE_BAREMIPS, 1, 0);
        me->aliases[0] = "baremips";
        if (cpu_family_ptr_by_number(ARCH_MIPS) != NULL) {
                me->next = first_machine_entry; first_machine_entry = me;
        }

        /*  Generic "bare" HPPA machine:  */
        me = machine_entry_new("Generic \"bare\" HPPA machine", ARCH_HPPA,
            MACHINE_BAREHPPA, 1, 0);
        me->aliases[0] = "barehppa";
        if (cpu_family_ptr_by_number(ARCH_HPPA) != NULL) {
                me->next = first_machine_entry; first_machine_entry = me;
        }

        /*  Generic "bare" Alpha machine:  */
        me = machine_entry_new("Generic \"bare\" Alpha machine", ARCH_ALPHA,
            MACHINE_BAREALPHA, 1, 0);
        me->aliases[0] = "barealpha";
        if (cpu_family_ptr_by_number(ARCH_ALPHA) != NULL) {
                me->next = first_machine_entry; first_machine_entry = me;
        }

        /*  DECstation:  */
        me = machine_entry_new("DECstation/DECsystem",
            ARCH_MIPS, MACHINE_DEC, 3, 9);
        me->aliases[0] = "decstation";
        me->aliases[1] = "decsystem";
        me->aliases[2] = "dec";
        me->subtype[0] = machine_entry_subtype_new(
            "DECstation 3100 (PMAX)", MACHINE_DEC_PMAX_3100, 3);
        me->subtype[0]->aliases[0] = "pmax";
        me->subtype[0]->aliases[1] = "3100";
        me->subtype[0]->aliases[2] = "2100";

        me->subtype[1] = machine_entry_subtype_new(
            "DECstation 5000/200 (3MAX)", MACHINE_DEC_3MAX_5000, 2);
        me->subtype[1]->aliases[0] = "3max";
        me->subtype[1]->aliases[1] = "5000/200";

        me->subtype[2] = machine_entry_subtype_new(
            "DECstation 5000/1xx (3MIN)", MACHINE_DEC_3MIN_5000, 2);
        me->subtype[2]->aliases[0] = "3min";
        me->subtype[2]->aliases[1] = "5000/1xx";

        me->subtype[3] = machine_entry_subtype_new(
            "DECstation 5000 (3MAXPLUS)", MACHINE_DEC_3MAXPLUS_5000, 2);
        me->subtype[3]->aliases[0] = "3maxplus";
        me->subtype[3]->aliases[1] = "3max+";

        me->subtype[4] = machine_entry_subtype_new(
            "DECsystem 58x0", MACHINE_DEC_5800, 2);
        me->subtype[4]->aliases[0] = "5800";
        me->subtype[4]->aliases[1] = "58x0";

        me->subtype[5] = machine_entry_subtype_new(
            "DECsystem 5400", MACHINE_DEC_5400, 1);
        me->subtype[5]->aliases[0] = "5400";

        me->subtype[6] = machine_entry_subtype_new(
            "DECstation Maxine (5000)", MACHINE_DEC_MAXINE_5000, 1);
        me->subtype[6]->aliases[0] = "maxine";

        me->subtype[7] = machine_entry_subtype_new(
            "DECsystem 5500", MACHINE_DEC_5500, 1);
        me->subtype[7]->aliases[0] = "5500";

        me->subtype[8] = machine_entry_subtype_new(
            "DECstation MipsMate (5100)", MACHINE_DEC_MIPSMATE_5100, 2);
        me->subtype[8]->aliases[0] = "5100";
        me->subtype[8]->aliases[1] = "mipsmate";

        if (cpu_family_ptr_by_number(ARCH_MIPS) != NULL) {
                me->next = first_machine_entry; first_machine_entry = me;
        }

        /*  DB64360: (for playing with PMON for PPC)  */
        me = machine_entry_new("DB64360", ARCH_PPC, MACHINE_DB64360, 1, 0);
        me->aliases[0] = "db64360";
        if (cpu_family_ptr_by_number(ARCH_PPC) != NULL) {
                me->next = first_machine_entry; first_machine_entry = me;
        }

        /*  Cobalt:  */
        me = machine_entry_new("Cobalt", ARCH_MIPS, MACHINE_COBALT, 1, 0);
        me->aliases[0] = "cobalt";
        if (cpu_family_ptr_by_number(ARCH_MIPS) != NULL) {
                me->next = first_machine_entry; first_machine_entry = me;
        }

        /*  BeBox: (NetBSD/bebox)  */
        me = machine_entry_new("BeBox", ARCH_PPC, MACHINE_BEBOX, 1, 0);
        me->aliases[0] = "bebox";
        if (cpu_family_ptr_by_number(ARCH_PPC) != NULL) {
                me->next = first_machine_entry; first_machine_entry = me;
        }

        /*  Artesyn's PM/PPC board: (NetBSD/pmppc)  */
        me = machine_entry_new("Artesyn's PM/PPC board", ARCH_PPC,
            MACHINE_PMPPC, 1, 0);
        me->aliases[0] = "pmppc";
        if (cpu_family_ptr_by_number(ARCH_PPC) != NULL) {
                me->next = first_machine_entry; first_machine_entry = me;
        }

        /*  ARC:  */
        me = machine_entry_new("ARC", ARCH_MIPS, MACHINE_ARC, 1, 8);
        me->aliases[0] = "arc";

        me->subtype[0] = machine_entry_subtype_new(
            "Acer PICA-61", MACHINE_ARC_JAZZ_PICA, 3);
        me->subtype[0]->aliases[0] = "pica-61";
        me->subtype[0]->aliases[1] = "acer pica";
        me->subtype[0]->aliases[2] = "pica";

        me->subtype[1] = machine_entry_subtype_new(
            "Deskstation Tyne", MACHINE_ARC_DESKTECH_TYNE, 3);
        me->subtype[1]->aliases[0] = "deskstation tyne";
        me->subtype[1]->aliases[1] = "desktech";
        me->subtype[1]->aliases[2] = "tyne";

        me->subtype[2] = machine_entry_subtype_new(
            "Jazz Magnum", MACHINE_ARC_JAZZ_MAGNUM, 2);
        me->subtype[2]->aliases[0] = "magnum";
        me->subtype[2]->aliases[1] = "jazz magnum";

        me->subtype[3] = machine_entry_subtype_new(
            "NEC-R94", MACHINE_ARC_NEC_R94, 2);
        me->subtype[3]->aliases[0] = "nec-r94";
        me->subtype[3]->aliases[1] = "r94";

        me->subtype[4] = machine_entry_subtype_new(
            "NEC-RD94", MACHINE_ARC_NEC_RD94, 2);
        me->subtype[4]->aliases[0] = "nec-rd94";
        me->subtype[4]->aliases[1] = "rd94";

        me->subtype[5] = machine_entry_subtype_new(
            "NEC-R96", MACHINE_ARC_NEC_R96, 2);
        me->subtype[5]->aliases[0] = "nec-r96";
        me->subtype[5]->aliases[1] = "r96";

        me->subtype[6] = machine_entry_subtype_new(
            "NEC-R98", MACHINE_ARC_NEC_R98, 2);
        me->subtype[6]->aliases[0] = "nec-r98";
        me->subtype[6]->aliases[1] = "r98";

        me->subtype[7] = machine_entry_subtype_new(
            "Olivetti M700", MACHINE_ARC_JAZZ_M700, 2);
        me->subtype[7]->aliases[0] = "olivetti";
        me->subtype[7]->aliases[1] = "m700";

        if (cpu_family_ptr_by_number(ARCH_MIPS) != NULL) {
                me->next = first_machine_entry; first_machine_entry = me;
        }
}
