In the pwm.h include, the code for C_PWM_SET() is:
ROM_PWMPulseWidthSet((uint32_t)((PWM_OBJ *)pwmHandle), PHASEC_OUT, dutyCycle);
ROM_PWMOutputState((uint32_t)((PWM_OBJ *)pwmHandle), PHASEB_BIT, true);
ROM_PWMGenEnable((uint32_t)((PWM_OBJ *)pwmHandle), PHASEC_GEN);
I believe the second line should use PHASEC_BIT, rather than PHASEB_BIT.
