1.1 --- a/extras/mini-os/xenbus/xenbus_xs.c	Tue Sep 20 17:25:00 2005 +0100
     1.2 +++ b/extras/mini-os/xenbus/xenbus_xs.c	Tue Sep 20 17:25:27 2005 +0100
     1.3 @@ -127,7 +127,7 @@ static void *xs_talkv(enum xsd_sockmsg_t
     1.4  		return ERR_PTR(err);
     1.5  
     1.6  	for (i = 0; i < num_vecs; i++) {
     1.7 -		err = xb_write(iovec[i].iov_base, iovec[i].iov_len);;
     1.8 +		err = xb_write(iovec[i].iov_base, iovec[i].iov_len);
     1.9  		if (err)
    1.10  			return ERR_PTR(err);
    1.11  	}