ia64/xen-unstable

changeset 18025:b7598d2e4791

stubdom: Fixes for gcc 4.2.4 32bit
Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
author Keir Fraser <keir.fraser@citrix.com>
date Thu Jul 10 15:32:18 2008 +0100 (2008-07-10)
parents 7749f135140a
children f454f2cac170
files extras/mini-os/include/types.h extras/mini-os/pcifront.c
line diff
     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();