syz_open_dev$vcsn(&(0x7f0000000840), 0x100, 0x20442)