/* Dispose of the state data for the backside control loop  */
static void dispose_backside_state(struct backside_pid_state *state)
/* Dispose of the state data for the backside control loop  */
static void dispose_backside_state(struct backside_pid_state *state)
{
	if (state->monitor == NULL)
		return;
	device_remove_file(&of_dev->dev, &dev_attr_backside_temperature);
	device_remove_file(&of_dev->dev, &dev_attr_backside_fan_pwm);
	state->monitor = NULL;
}