static const void *boston_kernel_filter(void *opaque, const void *kernel,

                                        hwaddr *load_addr, hwaddr *entry_addr)

{

    BostonState *s = BOSTON(opaque);



    s->kernel_entry = *entry_addr;



    return kernel;

}

static const void *boston_kernel_filter(void *opaque, const void *kernel,

                                        hwaddr *load_addr, hwaddr *entry_addr)

{

    BostonState *s = BOSTON(opaque);



    s->kernel_entry = *entry_addr;



    return kernel;

}

    BostonState *s = BOSTON(opaque); static const void *boston_kernel_filter(void *opaque, const void *kernel,                                         hwaddr *load_addr, hwaddr *entry_addr)     BostonState *s = BOSTON(opaque);     s->kernel_entry = *entry_addr;     return kernel;
static const void *FUNC_0(void *VAR_0, const void *VAR_1,

                                        hwaddr *VAR_2, hwaddr *VAR_3)

{

    BostonState *s = BOSTON(VAR_0);



    s->kernel_entry = *VAR_3;



    return VAR_1;

}

static const void *FUNC_0(void *VAR_0, const void *VAR_1,
hwaddr *VAR_2, hwaddr *VAR_3)
{ BostonState *s = BOSTON(VAR_0); s->kernel_entry = *VAR_3; return VAR_1; }