diff options
| -rw-r--r-- | extras/mini-os/include/types.h | 1 | ||||
| -rw-r--r-- | extras/mini-os/pcifront.c | 4 |
2 files changed, 2 insertions, 3 deletions
diff --git a/extras/mini-os/include/types.h b/extras/mini-os/include/types.h index 8d0d6f8ea9..19b730280d 100644 --- a/extras/mini-os/include/types.h +++ b/extras/mini-os/include/types.h @@ -89,6 +89,5 @@ typedef intptr_t ptrdiff_t; #ifndef HAVE_LIBC typedef long ssize_t; #endif -typedef unsigned long size_t; #endif /* _TYPES_H_ */ diff --git a/extras/mini-os/pcifront.c b/extras/mini-os/pcifront.c index 9f40081758..a924a6e8d9 100644 --- a/extras/mini-os/pcifront.c +++ b/extras/mini-os/pcifront.c @@ -216,10 +216,10 @@ void pcifront_op(struct pcifront_dev *dev, struct xen_pci_op *op) dev->info->op = *op; /* Make sure info is written before the flag */ wmb(); - set_bit(_XEN_PCIF_active, &dev->info->flags); + set_bit(_XEN_PCIF_active, (void*) &dev->info->flags); notify_remote_via_evtchn(dev->evtchn); - wait_event(pcifront_queue, !test_bit(_XEN_PCIF_active, &dev->info->flags)); + wait_event(pcifront_queue, !test_bit(_XEN_PCIF_active, (void*) &dev->info->flags)); /* Make sure flag is read before info */ rmb(); |