PCIIDE_CHANNEL_NAME 1841 dev/pci/pciide.c 	cp->name = PCIIDE_CHANNEL_NAME(channel);
PCIIDE_CHANNEL_NAME 1944 dev/pci/pciide.c 		printf(", %s %s to %s", PCIIDE_CHANNEL_NAME(i),
PCIIDE_CHANNEL_NAME 3262 dev/pci/pciide.c 	cp->name = PCIIDE_CHANNEL_NAME(channel);
PCIIDE_CHANNEL_NAME 3643 dev/pci/pciide.c 	cp->name = PCIIDE_CHANNEL_NAME(channel);
PCIIDE_CHANNEL_NAME 4458 dev/pci/pciide.c 	cp->name = PCIIDE_CHANNEL_NAME(0);
PCIIDE_CHANNEL_NAME 4467 dev/pci/pciide.c 	printf(", %s %s to ", PCIIDE_CHANNEL_NAME(0),