printf("%#x",0) should print 0 not 0x0
[musl] / include / sys / eventfd.h
2011-05-08 Rich Felkereventfd syscall wrapper and read/write wrappers