1 /* Copyright (C) 2007 Free Software Foundation, Inc. 2 This file is part of the GNU C Library. 3 4 The GNU C Library is free software; you can redistribute it and/or 5 modify it under the terms of the GNU Lesser General Public 6 License as published by the Free Software Foundation; either 7 version 2.1 of the License, or (at your option) any later version. 8 9 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 29 __BEGIN_DECLS 30 31 /* Return file descriptor for generic event channel. Set initial 32 value to COUNT. */ 33 extern int eventfd (int __count, int __flags) __THROW; 34 35 /* Read event counter and possibly wait for events. */ 36 extern int eventfd_read (int __fd, eventfd_t *__value); 37 38 /* Increment event counter. */ 39 extern int eventfd_write (int __fd, eventfd_t value); 40 41 __END_DECLS 42 43 #endif /* sys/eventfd.h */ 44