syz_open_dev$vcsn(&(0x7f0000008f40), 0x100000000, 0x6a5371f7bf903f23)