r0 = syz_open_dev$evdev(&(0x7f0000000040), 0x0, 0x401)
write$evdev(r0, &(0x7f00000000c0)=[{{0x77359400}, 0x1, 0x3ff}], 0x18)