linux/drivers/rtc/rtc-pic32.c