Function sys_eventfd 

pub fn sys_eventfd(
    current_task: &CurrentTask,
    value: u32,
) -> Result<FdNumber, Errno>