static void platform_mmio_write(ReadWriteHandler *handler, pcibus_t addr,

                                uint32_t val, int len)

{

    DPRINTF("Warning: attempted write of 0x%x to physical "

            "address 0x" TARGET_FMT_plx " in xen platform mmio space\n",

            val, addr);

}

static void platform_mmio_write(ReadWriteHandler *handler, pcibus_t addr,

                                uint32_t val, int len)

{

    DPRINTF("Warning: attempted write of 0x%x to physical "

            "address 0x" TARGET_FMT_plx " in xen platform mmio space\n",

            val, addr);

}

static void FUNC_0(ReadWriteHandler *VAR_0, pcibus_t VAR_1,

                                uint32_t VAR_2, int VAR_3)

{

    DPRINTF("Warning: attempted write of 0x%x to physical "

            "address 0x" TARGET_FMT_plx " in xen platform mmio space\n",

            VAR_2, VAR_1);

}

static void FUNC_0(ReadWriteHandler *VAR_0, pcibus_t VAR_1,
uint32_t VAR_2, int VAR_3)
{ DPRINTF("Warning: attempted write of 0x%x to physical "
"address 0x" TARGET_FMT_plx " in xen platform mmio space\n",
VAR_2, VAR_1); }