Gracias stk, toda ayuda es bien recibida.
El problema es que no entiendo bien eso de que hay 4 módulos si sólo hay 2 pines de tipo CCP (bueno 3, si tenemos en cuenta que el CCP2 está multiplexado entre el RB3 y el RC1 ¿Cuando se utiliza set_power_pwm0_duty, el 0 se refiere a un pin o a uno de esos 4 módulos?