r0 = syz_open_dev$vcsn(&(0x7f00000000c0), 0xc2, 0x20001)
write$selinux_attr(r0, 0x0, 0x8)