Searched refs:write_eventfd (Results 1 – 3 of 3) sorted by relevance
62 int write_eventfd(int fd, uint64_t val);
88 int write_eventfd(int fd, uint64_t val) in write_eventfd() function
5954 if (write_eventfd(vrend_state.eventfd, 1)) { in wait_sync()