r0 = syz_open_dev$vcsa(&(0x7f00000004c0), 0x3, 0xc0401)
write$cgroup_pid(r0, &(0x7f0000000500), 0x20000512)