r0 = syz_open_dev$rtc(&(0x7f00000004c0), 0x0, 0x0)
ioctl$RTC_IRQP_READ(r0, 0x8008700b, &(0x7f0000000500))