win-pvdrivers

changeset 96:652ccd25fc7e

Misc updates - testing for SMP
author James Harper <james.harper@bendigoit.com.au>
date Sat Jan 05 15:55:30 2008 +1100 (2008-01-05)
parents b55f4ed508b0
children 104e88af0858
files xennet/sources xennet/xennet.c xenpci/evtchn.c xenpci/sources xenpci/xenbus.c
line diff
     1.1 --- a/xennet/sources	Sat Jan 05 14:47:44 2008 +1100
     1.2 +++ b/xennet/sources	Sat Jan 05 15:55:30 2008 +1100
     1.3 @@ -1,7 +1,7 @@
     1.4  TARGETNAME=XENNET
     1.5  TARGETTYPE=DRIVER
     1.6  TARGETPATH=..\Target\$(DDK_TARGET_OS)
     1.7 -VERSION=0.5.0.42
     1.8 +VERSION=0.5.0.44
     1.9  KMDF_VERSION=1
    1.10  MSC_WARNING_LEVEL=/W4
    1.11  INF_NAME=xennet
     2.1 --- a/xennet/xennet.c	Sat Jan 05 14:47:44 2008 +1100
     2.2 +++ b/xennet/xennet.c	Sat Jan 05 15:55:30 2008 +1100
     2.3 @@ -766,7 +766,7 @@ XenNet_Init(
     2.4        XBT_NIL, TmpPath, XenNet_BackEndStateHandler, xi);
     2.5  
     2.6    // Fire backend state handler here, as we may have missed it
     2.7 -  XenNet_BackEndStateHandler(TmpPath, xi);
     2.8 +//  XenNet_BackEndStateHandler(TmpPath, xi);
     2.9  
    2.10    KdPrint((__DRIVER_NAME "     Waiting for backend to connect\n"));
    2.11  
     3.1 --- a/xenpci/evtchn.c	Sat Jan 05 14:47:44 2008 +1100
     3.2 +++ b/xenpci/evtchn.c	Sat Jan 05 15:55:30 2008 +1100
     3.3 @@ -41,7 +41,7 @@ EvtChn_Interrupt(WDFINTERRUPT Interrupt,
     3.4    unsigned long port;
     3.5    ev_action_t *ev_action;
     3.6  
     3.7 -  KdPrint((__DRIVER_NAME " --> " __FUNCTION__ " (cpu = %d)\n", cpu));
     3.8 +//  KdPrint((__DRIVER_NAME " --> " __FUNCTION__ " (cpu = %d)\n", cpu));
     3.9  
    3.10    UNREFERENCED_PARAMETER(MessageID);
    3.11  
    3.12 @@ -78,7 +78,7 @@ EvtChn_Interrupt(WDFINTERRUPT Interrupt,
    3.13      }
    3.14    }
    3.15  
    3.16 -  KdPrint((__DRIVER_NAME " <-- " __FUNCTION__ "\n"));
    3.17 +//  KdPrint((__DRIVER_NAME " <-- " __FUNCTION__ "\n"));
    3.18  
    3.19    return FALSE; // This needs to be FALSE so it can fall through to the scsiport ISR.
    3.20  }
     4.1 --- a/xenpci/sources	Sat Jan 05 14:47:44 2008 +1100
     4.2 +++ b/xenpci/sources	Sat Jan 05 15:55:30 2008 +1100
     4.3 @@ -1,7 +1,7 @@
     4.4  TARGETNAME=XENPCI
     4.5  TARGETTYPE=DRIVER
     4.6  TARGETPATH=..\Target\$(DDK_TARGET_OS)
     4.7 -VERSION=0.5.0.19
     4.8 +VERSION=0.5.0.21
     4.9  KMDF_VERSION=1
    4.10  MSC_WARNING_LEVEL=/W4
    4.11  INF_NAME=xenpci
     5.1 --- a/xenpci/xenbus.c	Sat Jan 05 14:47:44 2008 +1100
     5.2 +++ b/xenpci/xenbus.c	Sat Jan 05 15:55:30 2008 +1100
     5.3 @@ -222,16 +222,15 @@ xenbus_msg_reply(
     5.4    KdPrint((__DRIVER_NAME " --> " __FUNCTION__ "\n"));
     5.5  
     5.6    id = allocate_xenbus_id(Device);
     5.7 -//  add_waiter(w, req_info[id].waitq);
     5.8  
     5.9 -//  KdPrint((__DRIVER_NAME "     starting wait\n"));
    5.10 +  xb_write(Device, type, id, trans, io, nr_reqs);
    5.11  
    5.12    KeWaitForSingleObject(&xpdd->req_info[id].WaitEvent, Executive, KernelMode, FALSE, NULL);
    5.13  
    5.14 -  //KdPrint((__DRIVER_NAME "     wait complete\n"));
    5.15 +  release_xenbus_id(Device, id);
    5.16  
    5.17 -  release_xenbus_id(Device, id);
    5.18    KdPrint((__DRIVER_NAME " <-- " __FUNCTION__ "\n"));
    5.19 +
    5.20    return xpdd->req_info[id].Reply;
    5.21  }
    5.22  
    5.23 @@ -627,6 +626,7 @@ XenBus_AddWatch(
    5.24    if (msg)
    5.25    {
    5.26      xpdd->XenBus_WatchEntries[i].Active = 0;
    5.27 +    KdPrint((__DRIVER_NAME " <-- XenBus_AddWatch (%s)\n", msg));
    5.28      return msg;
    5.29    }
    5.30