linux/drivers/rtc/rtc-optee.c