r0 = eventfd(0x0)
writev(r0, &(0x7f0000000400)=[{&(0x7f00000002c0)="21a3ff85418ae24b40", 0x9}], 0x1)