r0 = eventfd(0x7)
poll(&(0x7f00000016c0)=[{r0, 0x4224}], 0x1, 0x3ff)