static int uart_can_receive(void *opaque)

{

    UartState *s = (UartState *)opaque;



    return RX_FIFO_SIZE - s->rx_count;

}

static int uart_can_receive(void *opaque)

{

    UartState *s = (UartState *)opaque;



    return RX_FIFO_SIZE - s->rx_count;

}

static int FUNC_0(void *VAR_0)

{

    UartState *s = (UartState *)VAR_0;



    return RX_FIFO_SIZE - s->rx_count;

}

static int FUNC_0(void *VAR_0)
{ UartState *s = (UartState *)VAR_0; return RX_FIFO_SIZE - s->rx_count; }