PIIX_CONFIG      2213 dev/pci/pciide.c 			    pci_conf_read(sc->sc_pc, sc->sc_tag, PIIX_CONFIG)),
PIIX_CONFIG      2570 dev/pci/pciide.c 	ideconf = pci_conf_read(sc->sc_pc, sc->sc_tag, PIIX_CONFIG);
PIIX_CONFIG      2699 dev/pci/pciide.c 	pci_conf_write(sc->sc_pc, sc->sc_tag, PIIX_CONFIG, ideconf);