eventfd syscall wrapper and read/write wrappers