/* Disables the RTC used to display the help message.  */
static void ui_display_disable_rtc(void)
/* Disables the RTC used to display the help message.  */
static void ui_display_disable_rtc(void)
{
	rtc_disable_interrupt(&AVR32_RTC);
	rtc_disable(&AVR32_RTC);
}