Symbol: PIIX_SIDETIM_RTC_SET
sys/dev/pci/piixide.c
917
PIIX_SIDETIM_RTC_SET(piix_rtc_dma[mode], channel);
sys/dev/pci/piixide.c
920
PIIX_SIDETIM_RTC_SET(piix_rtc_pio[mode], channel);