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