static void vmsvga_text_update(void *opaque, console_ch_t *chardata)

{

    struct vmsvga_state_s *s = opaque;



    if (s->vga.text_update)

        s->vga.text_update(&s->vga, chardata);

}

static void vmsvga_text_update(void *opaque, console_ch_t *chardata)

{

    struct vmsvga_state_s *s = opaque;



    if (s->vga.text_update)

        s->vga.text_update(&s->vga, chardata);

}

static void FUNC_0(void *VAR_0, console_ch_t *VAR_1)

{

    struct vmsvga_state_s *VAR_2 = VAR_0;



    if (VAR_2->vga.text_update)

        VAR_2->vga.text_update(&VAR_2->vga, VAR_1);

}

static void FUNC_0(void *VAR_0, console_ch_t *VAR_1)
{ struct vmsvga_state_s *VAR_2 = VAR_0; if (VAR_2->vga.text_update)
VAR_2->vga.text_update(&VAR_2->vga, VAR_1); }