/* This file is only here to make clkfreq.s load successfully. */
#include "clkfreq.h"
void main()
{
clkfreq();
}