Corpus for ioctl$RTC_IRQP_READ:

Coverage	Program