Line data    Source code

       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       38597 : 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 */