Symbol: PIIX_SIDETIM_RTC_SET
sys/dev/pci/pciide.c
3248
PIIX_SIDETIM_RTC_SET(piix_rtc_dma[mode], channel));
sys/dev/pci/pciide.c
3251
PIIX_SIDETIM_RTC_SET(piix_rtc_pio[mode], channel));