static void gdb_chr_receive(void *opaque, const uint8_t *buf, int size)

{

    GDBState *s = opaque;

    int i;



    for (i = 0; i < size; i++) {

        gdb_read_byte(s, buf[i]);

    }

}

static void gdb_chr_receive(void *opaque, const uint8_t *buf, int size)

{

    GDBState *s = opaque;

    int i;



    for (i = 0; i < size; i++) {

        gdb_read_byte(s, buf[i]);

    }

}

static void FUNC_0(void *VAR_0, const uint8_t *VAR_1, int VAR_2)

{

    GDBState *s = VAR_0;

    int VAR_3;



    for (VAR_3 = 0; VAR_3 < VAR_2; VAR_3++) {

        gdb_read_byte(s, VAR_1[VAR_3]);

    }

}

static void FUNC_0(void *VAR_0, const uint8_t *VAR_1, int VAR_2)
{ GDBState *s = VAR_0; int VAR_3; for (VAR_3 = 0; VAR_3 < VAR_2; VAR_3++) { gdb_read_byte(s, VAR_1[VAR_3]); } }