/* Sets the RPM of a FAN channel when in automatic mode. */
void FanChannelRPMSet(unsigned long ulBase, unsigned long ulChannel, unsigned long ulRPM)
/* Sets the RPM of a FAN channel when in automatic mode. */
void FanChannelRPMSet(unsigned long ulBase, unsigned long ulChannel, unsigned long ulRPM)
{
    ASSERT(ulBase == FAN0_BASE);
    ASSERT(ulChannel <= 5);
    ASSERT(ulRPM < 8192);
    HWREG(ulBase + FAN_O_CMD0 + (ulChannel * 0x10)) = ulRPM;
}