/* One DWord (32 bit) configuration write on PSII. Currently fixes destination bus to PCI2, onboard pci.  */
static int psII_write_config_dword(struct pci_controller *hose, pci_dev_t dev, int reg, u32 val)
/* One DWord (32 bit) configuration write on PSII. Currently fixes destination bus to PCI2, onboard pci.  */
static int psII_write_config_dword(struct pci_controller *hose, pci_dev_t dev, int reg, u32 val)
{
	write4be (PSII_CONFIG_ADDR, PSII_CONFIG_DEST_PCI2 |
		  (PCI_BUS (dev) << 16) | (PCI_DEV (dev) << 11) | (PCI_FUNC (dev) << 8) | ((reg & 0xFF) & ~3));
	write4 (PSII_CONFIG_DATA, (unsigned long) val);
	return (0);
}