Установка тактовой частоты PIC32, помогите установить тактовую частоту PIC32 Опции

[ZEbr]

Есть кварц 16MHz.
Настраиваю тактовую частоту PIC32 следующим образом:

#pragma config FWDTEN = OFF
#pragma config POSCMOD = HS, FNOSC = PRI, FPBDIV = DIV_8

#define SYS_FREQ (80000000L)

.........

main()
{
SYSTEMConfig(SYS_FREQ, SYS_CFG_WAIT_STATES | SYS_CFG_PCACHE);
.......
while(1)
{
PORTD=1;
PORTD=0;
}
}
Смотрю частоту дерганий ножки проца на осциллографе, и вижу ,что время между передним фронтом 1-го и 2-го включения составляет 870нс .
Это явно не 80MHz.

Помогите пожалуйста настроить тактовую частоту!
Заранее спасибо!