Corpus for ioctl$RTC_IRQP_READ:

Coverage	Program
80	openat$rtc-ioctl$RTC_IRQP_READ