]>
Commit | Line | Data |
---|---|---|
d614a753 | 1 | /* Copyright (C) 2007-2020 Free Software Foundation, Inc. |
6789aaaa UD |
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 | |
59ba27a6 | 15 | License along with the GNU C Library; if not, see |
5a82c748 | 16 | <https://www.gnu.org/licenses/>. */ |
6789aaaa UD |
17 | |
18 | #ifndef _SYS_EVENTFD_H | |
19 | #define _SYS_EVENTFD_H 1 | |
20 | ||
21 | #include <stdint.h> | |
22 | ||
2a418ac3 JM |
23 | /* Get the platform-dependent flags. */ |
24 | #include <bits/eventfd.h> | |
6789aaaa UD |
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. */ | |
69eb9a18 | 34 | extern int eventfd (unsigned int __count, int __flags) __THROW; |
6789aaaa UD |
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. */ | |
d82a27f8 | 40 | extern int eventfd_write (int __fd, eventfd_t __value); |
6789aaaa UD |
41 | |
42 | __END_DECLS | |
43 | ||
44 | #endif /* sys/eventfd.h */ |