static int vmsvga_post_load(void *opaque, int version_id)

{

    struct vmsvga_state_s *s = opaque;



    s->invalidated = 1;

    if (s->config)

        s->fifo = (uint32_t *) s->fifo_ptr;



    return 0;

}

static int vmsvga_post_load(void *opaque, int version_id)

{

    struct vmsvga_state_s *s = opaque;



    s->invalidated = 1;

    if (s->config)

        s->fifo = (uint32_t *) s->fifo_ptr;



    return 0;

}

static int FUNC_0(void *VAR_0, int VAR_1)

{

    struct vmsvga_state_s *VAR_2 = VAR_0;



    VAR_2->invalidated = 1;

    if (VAR_2->config)

        VAR_2->fifo = (uint32_t *) VAR_2->fifo_ptr;



    return 0;

}

static int FUNC_0(void *VAR_0, int VAR_1)
{ struct vmsvga_state_s *VAR_2 = VAR_0; VAR_2->invalidated = 1; if (VAR_2->config)
VAR_2->fifo = (uint32_t *) VAR_2->fifo_ptr; return 0; }