/* Add the following to arch/arch/mach-at91/include/mach/board.h */

/* PWM */
#define AT91_TIOA	0x1
#define AT91_TIOB	0x2

#define AT91_TC_DIV2	0x0
#define AT91_TC_DIV8	0x1
#define AT91_TC_DIV32	0x2
#define AT91_TC_DIV128	0x3
#define AT91_TC_SLCK	0x4

struct at91_pwm_data {
	int		channel;
	int		clock_div;
	int		period;		/* In milliseconds */	
	int		tioa_duty;	/* Percentage */
	int		tiob_duty;	/* Percentage */
	unsigned int	tio;
	int		enable_irq;	/* Generate interrupt on rc compare */
};

extern void __init at91_add_device_pwm(struct at91_pwm_data *data, 
				       int nr_pwms);