* \author Andrea Righi <arighi@develer.com>
*/
+#include "clock_lm3s.h"
+
#include <cfg/compiler.h>
#include <cfg/debug.h>
+
#include <io/lm3s.h>
-#include "clock_lm3s.h"
+
/* The PLL VCO frequency is 400 MHz */
#define PLL_VCO 400000000UL
: : "r"(__n) : "memory", "cc");
}
-unsigned long clock_get_rate(void)
+INLINE unsigned long clock_get_rate(void)
{
reg32_t rcc = HWREG(SYSCTL_RCC);
return i;
}
-void clock_set_rate(void)
+void clock_init(void)
{
reg32_t rcc, rcc2;
unsigned long clk;