r0 = eventfd(0x0) ppoll(&(0x7f0000000180)=[{r0}], 0x1, 0x0, 0x0, 0x0) write$eventfd(r0, &(0x7f0000000080), 0x8)