1 /* Copyright (C) 2007-2022 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, see 16 <https://www.gnu.org/licenses/>. */ 17 18 #ifndef _SYS_EVENTFD_H 19 #define _SYS_EVENTFD_H 1 20 21 #include <stdint.h> 22 23 /* Get the platform-dependent flags. */ 24 #include <bits/eventfd.h> 25 26 /* Type for event counter. */ 27 typedef uint64_t eventfd_t; 28 29 30 __BEGIN_DECLS 31 32 /* Return file descriptor for generic event channel. Set initial 33 value to COUNT. */ 34 extern int eventfd (unsigned int __count, int __flags) __THROW; 35 36 /* Read event counter and possibly wait for events. */ 37 extern int eventfd_read (int __fd, eventfd_t *__value); 38 39 /* Increment event counter. */ 40 extern int eventfd_write (int __fd, eventfd_t __value); 41 42 __END_DECLS 43 44 #endif /* sys/eventfd.h */ 45