static void mpc8544_guts_write(void *opaque, target_phys_addr_t addr,

                               uint64_t value, unsigned size)

{

    addr &= MPC8544_GUTS_MMIO_SIZE - 1;



    switch (addr) {

    case MPC8544_GUTS_ADDR_RSTCR:

        if (value & MPC8544_GUTS_RSTCR_RESET) {

            qemu_system_reset_request();

        }

        break;

    default:

        fprintf(stderr, "guts: Unknown register write: %x = %x\n",

                (int)addr, (unsigned)value);

        break;

    }

}

static void mpc8544_guts_write(void *opaque, target_phys_addr_t addr,

                               uint64_t value, unsigned size)

{

    addr &= MPC8544_GUTS_MMIO_SIZE - 1;



    switch (addr) {

    case MPC8544_GUTS_ADDR_RSTCR:

        if (value & MPC8544_GUTS_RSTCR_RESET) {

            qemu_system_reset_request();

        }

        break;

    default:

        fprintf(stderr, "guts: Unknown register write: %x = %x\n",

                (int)addr, (unsigned)value);

        break;

    }

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,

                               uint64_t VAR_2, unsigned VAR_3)

{

    VAR_1 &= MPC8544_GUTS_MMIO_SIZE - 1;



    switch (VAR_1) {

    case MPC8544_GUTS_ADDR_RSTCR:

        if (VAR_2 & MPC8544_GUTS_RSTCR_RESET) {

            qemu_system_reset_request();

        }

        break;

    default:

        fprintf(stderr, "guts: Unknown register write: %x = %x\n",

                (int)VAR_1, (unsigned)VAR_2);

        break;

    }

}

static void FUNC_0(void *VAR_0, target_phys_addr_t VAR_1,
uint64_t VAR_2, unsigned VAR_3)
{ VAR_1 &= MPC8544_GUTS_MMIO_SIZE - 1; switch (VAR_1) { case MPC8544_GUTS_ADDR_RSTCR:
if (VAR_2 & MPC8544_GUTS_RSTCR_RESET) { qemu_system_reset_request(); } break; default:
fprintf(stderr, "guts: Unknown register write: %x = %x\n",
(int)VAR_1, (unsigned)VAR_2); break; } }