?TCC
Bit
Constant
Constant

i bet you use something like

HPWM PORTx.x, 127,1000 ?

But you just need to write the CCP# you want to use

say

HPWM 1,127,1000