Symbol: ixp425_pci_conf_write
sys/arch/arm/xscale/ixp425_pci.c
58
void ixp425_pci_conf_write(void *, pcitag_t, int, pcireg_t);
sys/arch/arm/xscale/ixp425_pci.c
81
pc->pc_conf_write = ixp425_pci_conf_write;