/* One of the following to select the tachometer pulses per revolution: */
void FanChannelConfigAuto(unsigned long ulBase, unsigned long ulChannel, unsigned long ulConfig)
/* One of the following to select the tachometer pulses per revolution: */
void FanChannelConfigAuto(unsigned long ulBase, unsigned long ulChannel, unsigned long ulConfig)
{
    ASSERT(ulBase == FAN0_BASE);
    ASSERT(ulChannel <= 5);
    HWREG(ulBase + FAN_O_CH0 + (ulChannel * 0x10)) = ~FAN_CH0_MAN & ulConfig;
}