1.1 --- a/extras/mini-os/blkfront.c	Tue Jul 01 13:27:41 2008 +0100
     1.2 +++ b/extras/mini-os/blkfront.c	Tue Jul 01 14:50:35 2008 +0100
     1.3 @@ -125,7 +125,6 @@ struct blkfront_dev *init_blkfront(char 
     1.4  
     1.5      dev->events = NULL;
     1.6  
     1.7 -    // FIXME: proper frees on failures
     1.8  again:
     1.9      err = xenbus_transaction_start(&xbt);
    1.10      if (err) {

     2.1 --- a/extras/mini-os/fbfront.c	Tue Jul 01 13:27:41 2008 +0100
     2.2 +++ b/extras/mini-os/fbfront.c	Tue Jul 01 14:50:35 2008 +0100
     2.3 @@ -100,7 +100,6 @@ struct kbdfront_dev *init_kbdfront(char 
     2.4      s->in_cons = s->in_prod = 0;
     2.5      s->out_cons = s->out_prod = 0;
     2.6  
     2.7 -    // FIXME: proper frees on failures
     2.8  again:
     2.9      err = xenbus_transaction_start(&xbt);
    2.10      if (err) {
    2.11 @@ -408,7 +407,6 @@ struct fbfront_dev *init_fbfront(char *n
    2.12          s->pd[i] = 0;
    2.13  
    2.14  
    2.15 -    // FIXME: proper frees on failures
    2.16  again:
    2.17      err = xenbus_transaction_start(&xbt);
    2.18      if (err) {