r0 = eventfd(0x0) write(r0, &(0x7f00000004c0)="8a789d8cef2db9fe", 0x8)