static void serial_receive_byte(SerialState *s, int ch)

{

    s->rbr = ch;

    s->lsr |= UART_LSR_DR;

    serial_update_irq(s);

}

static void serial_receive_byte(SerialState *s, int ch)

{

    s->rbr = ch;

    s->lsr |= UART_LSR_DR;

    serial_update_irq(s);

}

    serial_update_irq(s); static void serial_receive_byte(SerialState *s, int ch)     s->rbr = ch;     s->lsr |= UART_LSR_DR;     serial_update_irq(s);
static void FUNC_0(SerialState *VAR_0, int VAR_1)

{

    VAR_0->rbr = VAR_1;

    VAR_0->lsr |= UART_LSR_DR;

    serial_update_irq(VAR_0);

}

static void FUNC_0(SerialState *VAR_0, int VAR_1)
{ VAR_0->rbr = VAR_1; VAR_0->lsr |= UART_LSR_DR; serial_update_irq(VAR_0); }