Function sys_eventfd 

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