---

---

---

01: /* Copyright (C) 2007, 2008, 2009 Free Software Foundation, Inc.
02:    This file is part of the GNU C Library.
03: 
04:    The GNU C Library is free software; you can redistribute it and/or
05:    modify it under the terms of the GNU Lesser General Public
06:    License as published by the Free Software Foundation; either
07:    version 2.1 of the License, or (at your option) any later version.
08: 
09:    The GNU C Library is distributed in the hope that it will be useful,
10:    but WITHOUT ANY WARRANTY; without even the implied warranty of
11:    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
12:    Lesser General Public License for more details.
13: 
14:    You should have received a copy of the GNU Lesser General Public
15:    License along with the GNU C Library; if not, write to the Free
16:    Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
17:    02111-1307 USA.  */
18: 
19: #ifndef _SYS_EVENTFD_H
20: #define _SYS_EVENTFD_H  1
21: 
22: #include <stdint.h>
23: 
24: 
25: /* Type for event counter.  */
26: typedef uint64_t eventfd_t;
27: 
28: /* Flags for signalfd.  */
29: enum
30:   {
31:     EFD_SEMAPHORE = 1,
32: #define EFD_SEMAPHORE EFD_SEMAPHORE
33:     EFD_CLOEXEC = 02000000,
34: #define EFD_CLOEXEC EFD_CLOEXEC
35:     EFD_NONBLOCK = 04000
36: #define EFD_NONBLOCK EFD_NONBLOCK
37:   };
38: 
39: 
40: __BEGIN_DECLS
41: 
42: /* Return file descriptor for generic event channel.  Set initial
43:    value to COUNT.  */
44: extern int eventfd (int __count, int __flags) __THROW;
45: 
46: /* Read event counter and possibly wait for events.  */
47: extern int eventfd_read (int __fd, eventfd_t *__value);
48: 
49: /* Increment event counter.  */
50: extern int eventfd_write (int __fd, eventfd_t __value);
51: 
52: __END_DECLS
53: 
54: #endif /* sys/eventfd.h */
55: 

---

---

---