1.1 --- a/extras/mini-os/include/types.h	Thu Jul 10 15:30:39 2008 +0100
     1.2 +++ b/extras/mini-os/include/types.h	Thu Jul 10 15:32:18 2008 +0100
     1.3 @@ -89,6 +89,5 @@ typedef intptr_t            ptrdiff_t;
     1.4  #ifndef HAVE_LIBC
     1.5  typedef long ssize_t;
     1.6  #endif
     1.7 -typedef unsigned long size_t;
     1.8  
     1.9  #endif /* _TYPES_H_ */

     2.1 --- a/extras/mini-os/pcifront.c	Thu Jul 10 15:30:39 2008 +0100
     2.2 +++ b/extras/mini-os/pcifront.c	Thu Jul 10 15:32:18 2008 +0100
     2.3 @@ -216,10 +216,10 @@ void pcifront_op(struct pcifront_dev *de
     2.4      dev->info->op = *op;
     2.5      /* Make sure info is written before the flag */
     2.6      wmb();
     2.7 -    set_bit(_XEN_PCIF_active, &dev->info->flags);
     2.8 +    set_bit(_XEN_PCIF_active, (void*) &dev->info->flags);
     2.9      notify_remote_via_evtchn(dev->evtchn);
    2.10  
    2.11 -    wait_event(pcifront_queue, !test_bit(_XEN_PCIF_active, &dev->info->flags));
    2.12 +    wait_event(pcifront_queue, !test_bit(_XEN_PCIF_active, (void*) &dev->info->flags));
    2.13  
    2.14      /* Make sure flag is read before info */
    2.15      rmb();