win-pvdrivers

diff xenpci/evtchn.c @ 910:1ee7940af105

Fix compilation under older DDK
author James Harper <james.harper@bendigoit.com.au>
date Fri Apr 29 23:56:03 2011 +1000 (2011-04-29)
parents e315b8490131
children 1ad5f1d3a664
line diff
     1.1 --- a/xenpci/evtchn.c	Fri Apr 15 22:31:53 2011 +1000
     1.2 +++ b/xenpci/evtchn.c	Fri Apr 29 23:56:03 2011 +1000
     1.3 @@ -20,7 +20,7 @@ Foundation, Inc., 51 Franklin Street, Fi
     1.4  #include "xenpci.h"
     1.5  
     1.6  /* Not really necessary but keeps PREfast happy */
     1.7 -#if (NTDDI_VERSION >= NTDDI_WINXP)
     1.8 +#if (VER_PRODUCTBUILD >= 7600)
     1.9  static KDEFERRED_ROUTINE EvtChn_DpcBounce;
    1.10  #endif
    1.11