pub fn eventfd_close(efd_id: u32) -> Result<usize, SyscallError>
Close (destroy) an eventfd instance.