Use __nonnull for the epoll_wait(2) family of syscalls