/* Configures the internal clock of the LCD controller given the master clock of the system and the desired pixel clock in MHz.  */
void LCD_SetPixelClock(unsigned int masterClock, unsigned int pixelClock)
/* Configures the internal clock of the LCD controller given the master clock of the system and the desired pixel clock in MHz.  */
void LCD_SetPixelClock(unsigned int masterClock, unsigned int pixelClock)
{
    AT91C_BASE_LCDC->LCDC_LCDCON1 = ((masterClock / (2 * pixelClock)) - 1) << 12;
}