PIIX_IDETIM_TIME 2741 dev/pci/pciide.c 		ret = PIIX_IDETIM_SET(ret, PIIX_IDETIM_TIME(drive), channel);
PIIX_IDETIM_TIME 2768 dev/pci/pciide.c 	ret = PIIX_IDETIM_SET(ret, PIIX_IDETIM_TIME(drive), channel);