Corpus for ioctl$RTC_IRQP_READ:

Coverage	Program
118	openat$rtc-ioctl$RTC_IRQP_READ