);  pci_write_config_dword(sst_dev, PCI_INIT_ENABLE, PCI_EN_INIT_WR);  sst_set_bits(FBIINIT0, VIDEO_RESET);  sst_set_bits(FBIINIT0, FBI_RESET | FIFO_RESET);  sst_unset_bits(FBIINIT0, EN_DRAM_REFRESH);  sst_wait_idle();  