static void static_write(void *opaque, hwaddr offset, uint64_t value,

                         unsigned size)

{

#ifdef SPY

    printf("%s: value %08lx written at " PA_FMT "\n",

                    __FUNCTION__, value, offset);

#endif

}

static void static_write(void *opaque, hwaddr offset, uint64_t value,

                         unsigned size)

{

#ifdef SPY

    printf("%s: value %08lx written at " PA_FMT "\n",

                    __FUNCTION__, value, offset);

#endif

}

static void FUNC_0(void *VAR_0, hwaddr VAR_1, uint64_t VAR_2,

                         unsigned VAR_3)

{

#ifdef SPY

    printf("%s: VAR_2 %08lx written at " PA_FMT "\n",

                    __FUNCTION__, VAR_2, VAR_1);

#endif

}

static void FUNC_0(void *VAR_0, hwaddr VAR_1, uint64_t VAR_2,
unsigned VAR_3)
{ #ifdef SPY
printf("%s: VAR_2 %08lx written at " PA_FMT "\n",
__FUNCTION__, VAR_2, VAR_1); #endif
}