/* De-initialises an PWM interface, Turns off an PWM hardware interface */
int32_t hal_pwm_finalize(pwm_dev_t *pwm)
/* De-initialises an PWM interface, Turns off an PWM hardware interface */
int32_t hal_pwm_finalize(pwm_dev_t *pwm)
{
	pwmout_free(pwm->priv);
	return 0;
}