static char *regname(uint32_t addr)

{

    static char buf[16];

    if (addr < PCI_IO_SIZE) {

        const char *r = reg[addr / 4];

        if (r != 0) {

            sprintf(buf, "%s+%u", r, addr % 4);

        } else {

            sprintf(buf, "0x%02x", addr);

        }

    } else {

        sprintf(buf, "??? 0x%08x", addr);

    }

    return buf;

}

static char *regname(uint32_t addr)

{

    static char buf[16];

    if (addr < PCI_IO_SIZE) {

        const char *r = reg[addr / 4];

        if (r != 0) {

            sprintf(buf, "%s+%u", r, addr % 4);

        } else {

            sprintf(buf, "0x%02x", addr);

        }

    } else {

        sprintf(buf, "??? 0x%08x", addr);

    }

    return buf;

}

static char *FUNC_0(uint32_t VAR_0)

{

    static char VAR_1[16];

    if (VAR_0 < PCI_IO_SIZE) {

        const char *VAR_2 = reg[VAR_0 / 4];

        if (VAR_2 != 0) {

            sprintf(VAR_1, "%s+%u", VAR_2, VAR_0 % 4);

        } else {

            sprintf(VAR_1, "0x%02x", VAR_0);

        }

    } else {

        sprintf(VAR_1, "??? 0x%08x", VAR_0);

    }

    return VAR_1;

}

static char *FUNC_0(uint32_t VAR_0)
{ static char VAR_1[16]; if (VAR_0 < PCI_IO_SIZE) { const char *VAR_2 = reg[VAR_0 / 4]; if (VAR_2 != 0) { sprintf(VAR_1, "%s+%u", VAR_2, VAR_0 % 4); } else { sprintf(VAR_1, "0x%02x", VAR_0); } } else { sprintf(VAR_1, "??? 0x%08x", VAR_0); } return VAR_1; }