/* Routine: start_cpu_fan Description: Enable/start PWM CPU fan on P2571  */
void start_cpu_fan(void)
/* Routine: start_cpu_fan Description: Enable/start PWM CPU fan on P2571  */
void start_cpu_fan(void)
{
	gpio_request(TEGRA_GPIO(E, 4), "FAN_VDD");
	gpio_direction_output(TEGRA_GPIO(E, 4), 1);
}