/* Initialises the CPU, setting up the PLL, etc.  */
void cpuInit(void)
/* Initialises the CPU, setting up the PLL, etc.  */
void cpuInit(void)
{
  gpioInit();
  GPIO_GPIO0DIR &= ~(GPIO_IO_ALL);
  GPIO_GPIO1DIR &= ~(GPIO_IO_ALL);
  GPIO_GPIO2DIR &= ~(GPIO_IO_ALL);
  GPIO_GPIO3DIR &= ~(GPIO_IO_ALL);
  cpuPllSetup(CPU_MULTIPLIER_6);
}