Corpus for ioctl$RTC_IRQP_SET:
Coverage
Program
280
openat$rtc-ioctl$RTC_SET_TIME-ioctl$RTC_IRQP_SET
117
openat$rtc-ioctl$RTC_IRQP_SET