Symbol: pic32_rtc_enable