win-pvdrivers

changeset 127:0b87815a2ee7

Fixing up a few warnings when compiling under AMD64
author James Harper <james.harper@bendigoit.com.au>
date Thu Jan 17 00:18:18 2008 +1100 (2008-01-17)
parents b722a577ed90
children 9ebc64a86e57
files xenpci/sources xenpci/xenpci.c
line diff
     1.1 --- a/xenpci/sources	Wed Jan 16 23:58:02 2008 +1100
     1.2 +++ b/xenpci/sources	Thu Jan 17 00:18:18 2008 +1100
     1.3 @@ -1,7 +1,7 @@
     1.4  TARGETNAME=XENPCI
     1.5  TARGETTYPE=DRIVER
     1.6  TARGETPATH=..\Target\$(DDK_TARGET_OS)
     1.7 -VERSION=0.5.0.27
     1.8 +VERSION=0.5.0.28
     1.9  KMDF_VERSION=1
    1.10  MSC_WARNING_LEVEL=/W4
    1.11  INF_NAME=xenpci
     2.1 --- a/xenpci/xenpci.c	Wed Jan 16 23:58:02 2008 +1100
     2.2 +++ b/xenpci/xenpci.c	Thu Jan 17 00:18:18 2008 +1100
     2.3 @@ -245,11 +245,11 @@ get_hypercall_stubs(WDFDEVICE Device)
     2.4    if (!xpdd->hypercall_stubs)
     2.5      return 1;
     2.6    for (i = 0; i < pages; i++) {
     2.7 -    ULONG pfn;
     2.8 +    ULONGLONG pfn;
     2.9      //pfn = vmalloc_to_pfn((char *)hypercall_stubs + i * PAGE_SIZE);
    2.10 -    pfn = (ULONG)(MmGetPhysicalAddress(xpdd->hypercall_stubs + i * PAGE_SIZE).QuadPart >> PAGE_SHIFT);
    2.11 -    //KdPrint((__DRIVER_NAME " pfn = %08X\n", pfn));
    2.12 -    __writemsr(msr, ((ULONGLONG)pfn << PAGE_SHIFT) + i);
    2.13 +    pfn = (MmGetPhysicalAddress(xpdd->hypercall_stubs + i * PAGE_SIZE).QuadPart >> PAGE_SHIFT);
    2.14 +    KdPrint((__DRIVER_NAME " pfn = %10lX\n", pfn));
    2.15 +    __writemsr(msr, (pfn << PAGE_SHIFT) + i);
    2.16    }
    2.17    return STATUS_SUCCESS;
    2.18  }