PIIX_UDMATIM_SET 2587 dev/pci/pciide.c 		    PIIX_UDMATIM_SET(0x3, channel, drive));
PIIX_UDMATIM_SET 2661 dev/pci/pciide.c 			udmareg |= PIIX_UDMATIM_SET(