From: Samuel Thibault Subject: [PATCH] stubdom: Fixes for gcc 4.2.4 32bit Date: Thu, 10 Jul 2008 14:59:31 +0100 Message-ID: <20080710135931.GA13421@implementation.uk.xensource.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Return-path: Content-Disposition: inline List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xensource.com Errors-To: xen-devel-bounces@lists.xensource.com To: xen-devel@lists.xensource.com List-Id: xen-devel@lists.xenproject.org stubdom: Fixes for gcc 4.2.4 32bit diff -r 562e77f7112f extras/mini-os/include/types.h --- a/extras/mini-os/include/types.h Thu Jul 10 12:15:55 2008 +0100 +++ b/extras/mini-os/include/types.h Thu Jul 10 14:58:43 2008 +0100 @@ -89,6 +89,5 @@ #ifndef HAVE_LIBC typedef long ssize_t; #endif -typedef unsigned long size_t; #endif /* _TYPES_H_ */ diff -r 562e77f7112f extras/mini-os/pcifront.c --- a/extras/mini-os/pcifront.c Thu Jul 10 12:15:55 2008 +0100 +++ b/extras/mini-os/pcifront.c Thu Jul 10 14:58:43 2008 +0100 @@ -216,10 +216,10 @@ 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();