/* These devices are always present and don't need any board-specific setup.  */
static int __init at91_add_standard_devices(void)
/* These devices are always present and don't need any board-specific setup.  */
static int __init at91_add_standard_devices(void)
{
	at91_add_device_rtt();
	at91_add_device_watchdog();
	at91_add_device_tc();
	return 0;
}