#include <stdio.h>
#include "crap.h"

#define DSP_CLKIN_KHZ 24000
#define FREQ_BIT_RESOLUTION 0x10000000 /* 2^28 */

void crap(uint32_t ulFreqKHz_)
{
  uint64_t ullFreqReg;
  uint32_t ulFreqReg;
  ullFreqReg  = FREQ_BIT_RESOLUTION;
  ullFreqReg *= ulFreqKHz_;
  ullFreqReg /= DSP_CLKIN_KHZ;
  ulFreqReg   = (uint32_t)ullFreqReg;
  printf("%d %x\n", ulFreqKHz_, ulFreqReg);
}