eventfd.h 1.4 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344
  1. /* Copyright (C) 2007-2013 Free Software Foundation, Inc.
  2. This file is part of the GNU C Library.
  3. The GNU C Library is free software; you can redistribute it and/or
  4. modify it under the terms of the GNU Lesser General Public
  5. License as published by the Free Software Foundation; either
  6. version 2.1 of the License, or (at your option) any later version.
  7. The GNU C Library is distributed in the hope that it will be useful,
  8. but WITHOUT ANY WARRANTY; without even the implied warranty of
  9. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
  10. Lesser General Public License for more details.
  11. You should have received a copy of the GNU Lesser General Public
  12. License along with the GNU C Library; if not, see
  13. <http://www.gnu.org/licenses/>. */
  14. #ifndef _SYS_EVENTFD_H
  15. #define _SYS_EVENTFD_H 1
  16. #include <stdint.h>
  17. /* Get the platform-dependent flags. */
  18. #include <bits/eventfd.h>
  19. /* Type for event counter. */
  20. typedef uint64_t eventfd_t;
  21. __BEGIN_DECLS
  22. /* Return file descriptor for generic event channel. Set initial
  23. value to COUNT. */
  24. extern int eventfd (unsigned int __count, int __flags) __THROW;
  25. /* Read event counter and possibly wait for events. */
  26. extern int eventfd_read (int __fd, eventfd_t *__value);
  27. /* Increment event counter. */
  28. extern int eventfd_write (int __fd, eventfd_t __value);
  29. __END_DECLS
  30. #endif /* sys/eventfd.h */