1.1 --- a/extras/mini-os/arch/x86/mm.c	Fri Jan 19 15:05:20 2007 +0000
     1.2 +++ b/extras/mini-os/arch/x86/mm.c	Fri Jan 19 15:08:15 2007 +0000
     1.3 @@ -61,6 +61,7 @@ void new_pt_frame(unsigned long *pt_pfn,
     1.4      mmu_update_t mmu_updates[1];
     1.5      struct mmuext_op pin_request;
     1.6      
     1.7 +    prot_e = prot_t = pincmd = 0;
     1.8      DEBUG("Allocating new L%d pt frame for pt_pfn=%lx, "
     1.9             "prev_l_mfn=%lx, offset=%lx", 
    1.10             level, *pt_pfn, prev_l_mfn, offset);

     2.1 --- a/extras/mini-os/netfront.c	Fri Jan 19 15:05:20 2007 +0000
     2.2 +++ b/extras/mini-os/netfront.c	Fri Jan 19 15:08:15 2007 +0000
     2.3 @@ -327,7 +327,6 @@ done:
     2.4      printk("backend at %s\n",backend);
     2.5      printk("mac is %s\n",mac);
     2.6  
     2.7 -    char *res;
     2.8      char path[256];
     2.9      sprintf(path,"%s/state",backend);
    2.10  
    2.11 @@ -336,7 +335,6 @@ done:
    2.12      xenbus_wait_for_value(path,"4");
    2.13  
    2.14      //free(backend);
    2.15 -    free(res);
    2.16  
    2.17      printk("**************************\n");
    2.18  

     3.1 --- a/extras/mini-os/xenbus/xenbus.c	Fri Jan 19 15:05:20 2007 +0000
     3.2 +++ b/extras/mini-os/xenbus/xenbus.c	Fri Jan 19 15:08:15 2007 +0000
     3.3 @@ -103,7 +103,7 @@ char* xenbus_wait_for_value(const char* 
     3.4  static void xenbus_thread_func(void *ign)
     3.5  {
     3.6      struct xsd_sockmsg msg;
     3.7 -    unsigned prod;
     3.8 +    unsigned prod = 0;
     3.9  
    3.10      for (;;) 
    3.11      {