r0 = syz_open_dev$vcsa(&(0x7f00000005c0), 0x0, 0x0)
pidfd_getfd(r0, 0xffffffffffffffff, 0x0)