Symbol: PIIX_IDETIM_SITRE
sys/dev/pci/pciide.c
3139
PIIX_IDETIM_SITRE, channel);
sys/dev/pci/pciide.c
3153
PIIX_IDETIM_SITRE, channel);