PIIX_SIDETIM_RTC_SET 2782 dev/pci/pciide.c 		    PIIX_SIDETIM_RTC_SET(piix_rtc_dma[mode], channel));
PIIX_SIDETIM_RTC_SET 2785 dev/pci/pciide.c 		    PIIX_SIDETIM_RTC_SET(piix_rtc_pio[mode], channel));