Setting CPU speed on F6659

Hi,

I've just finished soldering a F6659 on a breakout board, then loaded Ti's example "blink" provided by CCS, and as expected, the blinking speed is the same as on my G2553s, aka the CPU is at 1MHz.

I tried the following, as on the g2553

BCSCTL1 = CALBC1_16MHZ;
DCOCTL = CALBC1_16MHZ;

But neither of all these are defined on this MCU, since it has a RTC module, and I couldn't find how to set the CPU speed in the user's guide. I also searche the "msp430f6659.h" file for constants containing "25MHZ", but nothing.

How do I set the CPU speed (that can grow up to 25MHz) ?