pic32/libraries/SoftPWMServo/SoftPWMServo.cpp
// Remove SoftPWM ISR from main Core Timer ISR
Remove SoftPWM ISR from main Core Timer ISR
Remove SoftPWM ISR from main Core Timer ISR
int32_t SoftPWMServoUnload(void)
{
    detachCoreTimerService(HandlePWMServo);
    Initalized = false;
    return SOFTPWMSERVO_OK;
}
int32_t SoftPWMServoUnload ( void ) { detachCoreTimerService ( HandlePWMServo ) ; Initalized = false ; return SOFTPWMSERVO_OK ; }
Remove SoftPWM ISR from main Core Timer ISR
Remove SoftPWM ISR from main Core Timer ISR
// Remove our ISR handler, and replace with what was there