Corpus for ioctl$RTC_IRQP_READ:

Coverage	Program
119	openat$rtc-ioctl$RTC_IRQP_READ