1 2 3 4 5 6 7 8
#include <sys/eventfd.h> int main() { int i = eventfd(0, EFD_NONBLOCK); return i >= 0 ? 1 : 0; }