Searched refs:walnut_rtc_base (Results 1 – 2 of 2) sorted by relevance
49 void *walnut_rtc_base; variable121 walnut_rtc_base = (void *) WALNUT_RTC_VADDR; in board_setup_arch()122 TODC_INIT(TODC_TYPE_DS1743, walnut_rtc_base, walnut_rtc_base, in board_setup_arch()123 walnut_rtc_base, 8); in board_setup_arch()
61 extern void *walnut_rtc_base;