I'm attempting to modify the bootloader to set PCK2 to 12 mhz. So far all I can really find is a structure that points to AT91C_PMC_PCK2 as a member of AT91PS_PMC->PMC_PCKR[8].

Unfortunately, I don't know how to specify that the clock speed needs to be 12 mhz. I was wondering if someone could point me in the right direction? I'm relatively new to embedded programming, and can't seem to find anything in the Atmel documentation or sample code that points out how to set the clock speed on this.

Thanks in advance,
Kris

It looks like I can use this function:
int pmc_cfg_mck(unsigned char x, unsigned int clk_sel, unsigned int prescaler)

I'm just not sure what to use for the last two arguments. The documentation states:

clk_sel - Clock Source Selection (CSS field of PMC_PCKx register)
prescaler - PCK Prescaler (PRES field of PMC_PCKx register)