Corpus for ioctl$RTC_VL_READ:

Coverage	Program
115	openat$hpet-ioctl$RTC_VL_READ