Searched refs:VE_RTC (Results 1 – 1 of 1) sorted by relevance
83 VE_RTC, enumerator116 [VE_RTC] = 0x10017000,162 [VE_RTC] = 0x1c170000,655 sysbus_create_simple("pl031", map[VE_RTC], pic[4]); /* RTC */ in vexpress_common_init()