#ifndef WH_TIMERFD_H_7795aa1c_
#define WH_TIMERFD_H_7795aa1c_

/*
 * The timerfd API specifies that read reads into a uint64_t, but
 *  <sys/timerfd.h>, the only include file it's documented as needing,
 *  does not arrange for uint64_t to be defined.  Compensate.
 */

#include_next <sys/timerfd.h>

#include <stdint.h>

#endif