/* Set flash wait states in the EFC for 48MHz.  */
void BOARD_ConfigureFlash48MHz(void)
/* Set flash wait states in the EFC for 48MHz.  */
void BOARD_ConfigureFlash48MHz(void)
{
    AT91C_BASE_EFC->EFC_FMR = 6 << 8;
}