Searched refs:eventfd_t (Results 1 – 3 of 3) sorted by relevance
57 typedef uint64_t eventfd_t; typedef65 int eventfd_read(int __fd, eventfd_t* __value);73 int eventfd_write(int __fd, eventfd_t __value);
31 eventfd_t value = 123; in TEST()56 eventfd_t value = 123; in TEST()77 eventfd_t value = 123; in TEST()
40 int eventfd_read(int fd, eventfd_t* value) { in eventfd_read()44 int eventfd_write(int fd, eventfd_t value) { in eventfd_write()