Symbol: SANDPOINT_PCI_CONFIG_DATA
sys/arch/sandpoint/pci/pci_machdep.c
220
data = in32rb(SANDPOINT_PCI_CONFIG_DATA);
sys/arch/sandpoint/pci/pci_machdep.c
233
out32rb(SANDPOINT_PCI_CONFIG_DATA, data);