static void qxl_reset_state(PCIQXLDevice *d)

{

    QXLRam *ram = d->ram;

    QXLRom *rom = d->rom;



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

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

    d->shadow_rom.update_id = cpu_to_le32(0);

    *rom = d->shadow_rom;

    qxl_rom_set_dirty(d);

    init_qxl_ram(d);

    d->num_free_res = 0;

    d->last_release = NULL;

    memset(&d->ssd.dirty, 0, sizeof(d->ssd.dirty));

}

static void qxl_reset_state(PCIQXLDevice *d)

{

    QXLRam *ram = d->ram;

    QXLRom *rom = d->rom;



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

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

    d->shadow_rom.update_id = cpu_to_le32(0);

    *rom = d->shadow_rom;

    qxl_rom_set_dirty(d);

    init_qxl_ram(d);

    d->num_free_res = 0;

    d->last_release = NULL;

    memset(&d->ssd.dirty, 0, sizeof(d->ssd.dirty));

}

    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;

    QXLRom *rom = VAR_0->rom;



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

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

    VAR_0->shadow_rom.update_id = cpu_to_le32(0);

    *rom = VAR_0->shadow_rom;

    qxl_rom_set_dirty(VAR_0);

    init_qxl_ram(VAR_0);

    VAR_0->num_free_res = 0;

    VAR_0->last_release = NULL;

    memset(&VAR_0->ssd.dirty, 0, sizeof(VAR_0->ssd.dirty));

}

static void FUNC_0(PCIQXLDevice *VAR_0)
{ QXLRam *ram = VAR_0->ram; QXLRom *rom = VAR_0->rom; assert(SPICE_RING_IS_EMPTY(&ram->cmd_ring)); assert(SPICE_RING_IS_EMPTY(&ram->cursor_ring)); VAR_0->shadow_rom.update_id = cpu_to_le32(0); *rom = VAR_0->shadow_rom; qxl_rom_set_dirty(VAR_0); init_qxl_ram(VAR_0); VAR_0->num_free_res = 0; VAR_0->last_release = NULL; memset(&VAR_0->ssd.dirty, 0, sizeof(VAR_0->ssd.dirty)); }