Searched refs:eventfd_t (Results 1 – 4 of 4) sorted by relevance
41 typedef uint64_t eventfd_t; typedef45 extern int eventfd_read(int fd, eventfd_t* value);46 extern int eventfd_write(int fd, eventfd_t value);
28 typedef uint64_t eventfd_t; typedef32 extern int eventfd_read(int, eventfd_t*);33 extern int eventfd_write(int, eventfd_t);42 eventfd_t value = 123; in TEST()
32 int eventfd_read(int fd, eventfd_t* value) { in eventfd_read()
32 int eventfd_write(int fd, eventfd_t value) { in eventfd_write()