Not necessary; just rename `sys_epoll_ctl` to `epoll_ctl` and make it public.