syz_open_dev$rtc(&(0x7f0000007f80), 0xfff, 0x8e01)