SF_PciDeviceConfig
sf_funcreg_write(sc, SF_PciDeviceConfig, PDC_IntEnable |
if (sf_funcreg_read(sc, SF_PciDeviceConfig) & PDC_System64)
sf_funcreg_write(sc, SF_PciDeviceConfig, PDC_SoftReset);
if ((sf_funcreg_read(sc, SF_PciDeviceConfig) &
sf_funcreg_write(sc, SF_PciDeviceConfig, 0);