l4/pkg/l4re-core/uclibc/lib/contrib/uclibc/libc/sysdeps/linux/common/sys/eventfd.h

   1 /* Copyright (C) 2007-2013 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    <http://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 (int __count, int __flags) __THROW;
  35
  36 #if 0 /* not (yet) implemented in uClibc */
  37
  38 /* Read event counter and possibly wait for events.  */
  39 extern int eventfd_read (int __fd, eventfd_t *__value);
  40
  41 /* Increment event counter.  */
  42 extern int eventfd_write (int __fd, eventfd_t __value);
  43
  44 #endif
  45
  46 __END_DECLS
  47
  48 #endif /* sys/eventfd.h */