syz_open_dev$vcsn(&(0x7f0000000040), 0xffffffffffff8e17, 0x40042)