r0 = eventfd2(0x0, 0x0)
writev(r0, &(0x7f00000003c0)=[{&(0x7f00000001c0)="2dad503ea5da348e", 0x8}, {&(0x7f00000000c0)="e86a035c8645fba9", 0x8}], 0x2)
writev(r0, &(0x7f0000000300)=[{&(0x7f0000000100)="b770337498b06eea6b", 0x9}, {0x0}, {0x0}], 0x3)
read(r0, &(0x7f0000000040)=""/55, 0x37)