Corpus for ioctl$RTC_RD_TIME:
Coverage
Program
568
openat$rtc-ioctl$RTC_UIE_ON-ioctl$RTC_RD_TIME
135
openat$rtc-ioctl$RTC_RD_TIME