static void qxl_check_state(PCIQXLDevice *d)

{

    QXLRam *ram = d->ram;



    assert(SPICE_RING_IS_EMPTY(&ram->cmd_ring));

    assert(SPICE_RING_IS_EMPTY(&ram->cursor_ring));

}

static void qxl_check_state(PCIQXLDevice *d)

{

    QXLRam *ram = d->ram;



    assert(SPICE_RING_IS_EMPTY(&ram->cmd_ring));

    assert(SPICE_RING_IS_EMPTY(&ram->cursor_ring));

}

    assert(SPICE_RING_IS_EMPTY(&ram->cmd_ring));     assert(SPICE_RING_IS_EMPTY(&ram->cursor_ring));     QXLRam *ram = d->ram;
static void FUNC_0(PCIQXLDevice *VAR_0)

{

    QXLRam *ram = VAR_0->ram;



    assert(SPICE_RING_IS_EMPTY(&ram->cmd_ring));

    assert(SPICE_RING_IS_EMPTY(&ram->cursor_ring));

}

static void FUNC_0(PCIQXLDevice *VAR_0)
{ QXLRam *ram = VAR_0->ram; assert(SPICE_RING_IS_EMPTY(&ram->cmd_ring)); assert(SPICE_RING_IS_EMPTY(&ram->cursor_ring)); }