Формула там есть, в разделе для PWM и написана 2-3 раза (ещё на
диаграммах с примерами). Очевидно, что период таймера задаётся так
же и независимо от CCPxxx регистров (работы самого PWM). Описание
там достаточно однозначное, которое говорит о счёте от 0 до PR2
включительно. Как работает тактирование постделителя не поняно, но
не принципиально: не очевидно тактируется он в момент срабатывания
компаратора или когда TMR2 уже обнулён, но частота от этого не
зависит вообще. Меня больше пугает другое:
In PRI_IDLE mode, the primary clock will continue to
clock the CCP module without change. In all other
power-managed modes, the selected power-managed
mode clock will clock Timer2. Other power-managed
mode clocks will most likely be different than the
primary clock frequency.
Т.е. можно нарваться на проблему вызвав инструкцию sleep. Я только уже забыл, как можно добиться, чтоб в idle mode тактовая отличалаь от run mode (для периферии).