1/* Copyright (C) 2007, 2008, 2009 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.  */
26typedef uint64_t eventfd_t;
27
28/* Flags for signalfd.  */
29enum
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.  */
44extern int eventfd (int __count, int __flags) __THROW;
45
46/* Read event counter and possibly wait for events.  */
47extern int eventfd_read (int __fd, eventfd_t *__value);
48
49/* Increment event counter.  */
50extern int eventfd_write (int __fd, eventfd_t __value);
51
52__END_DECLS
53
54#endif /* sys/eventfd.h */
55