I am building a driver using the Windows Server 2003 Checked X64 build
environment on a X86 system. I am running into some trouble using
prefast. I’m getting the folowing types of errors:
c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(4296) : error C4013:
‘UnsignedMultiplyHigh’ undefined; assuming extern returning int
c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9298) : error C4013: ‘__movsb’
undefined; assuming extern returning int
c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9311) : error C4013: ‘__movsw’
undefined; assuming extern returning int
c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9324) : error C4013: ‘__movsd’
undefined; assuming extern returning int
c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9337) : error C4013:
‘FastFence’ undefined; assuming extern returning int
c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9416) : error C4013: ‘__inbyte’
undefined; assuming extern returning int
c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9426) : error C4013: ‘__inword’
undefined; assuming extern returning int
c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9436) : error C4013:
‘__indword’ undefined; assuming extern returning int
c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9449) : error C4013:
‘__inbytestring’ undefined; assuming extern returning int
c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9462) : error C4013:
‘__inwordstring’ undefined; assuming extern returning int
c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9475) : error C4013:
‘__indwordstring’ undefined; assuming extern returning int
c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9487) : error C4013:
‘__outbyte’ undefned; assuming extern returning int
c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9499) : error C4013:
‘__outword’ undefined; assuming extern returning int
c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9511) : error C4013:
‘__outdword’ undefined; assuming extern returning int
c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9524) : error C4013:
‘__outbytestring’ undefined; assuming extern returning int
c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9537) : error C4013:
‘__outwordstring’ undefined; assuming extern returning int
c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9550) : error C4013:
‘__outdwordstring’ undefined; assuming extern returning int
It appears to be using the correct version of prefast:
PREFAST_ROOT=C:\WINDDK\3790~1.183\bin\x86\drvfast
Does prefast work for X64? Is the problem related to the
cross-compilation environment? Is there anything I can do to fix it?
prefast runs fine in the XP build enviornment
Beverly
As of 5112, it wasn’t ready for x64 yet. I haven’t heard anything since.
http://www.osronline.com/showThread.cfm?link=82439
http://msmvps.com/blogs/kernelmustard/archive/2005/10/20/71876.aspx
-sd
On 7/17/06 10:47 AM, “Brown, Beverly” wrote:
> I am building a driver using the Windows Server 2003 Checked X64 build
> environment on a X86 system. I am running into some trouble using prefast. I’m
> getting the folowing types of errors:
>
> c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(4296) : error C4013:
> ‘UnsignedMultiplyHigh’ undefined; assuming extern returning int
> c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9298) : error C4013: ‘__movsb’
> undefined; assuming extern returning int
> c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9311) : error C4013: ‘__movsw’
> undefined; assuming extern returning int
> c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9324) : error C4013: ‘__movsd’
> undefined; assuming extern returning int
> c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9337) : error C4013: ‘FastFence’
> undefined; assuming extern returning int
> c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9416) : error C4013: ‘__inbyte’
> undefined; assuming extern returning int
> c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9426) : error C4013: ‘__inword’
> undefined; assuming extern returning int
> c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9436) : error C4013: ‘__indword’
> undefined; assuming extern returning int
> c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9449) : error C4013: ‘__inbytestring’
> undefined; assuming extern returning int
> c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9462) : error C4013: ‘__inwordstring’
> undefined; assuming extern returning int
> c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9475) : error C4013:
> ‘__indwordstring’ undefined; assuming extern returning int
> c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9487) : error C4013: ‘__outbyte’
> undefned; assuming extern returning int
> c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9499) : error C4013: ‘__outword’
> undefined; assuming extern returning int
> c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9511) : error C4013: ‘__outdword’
> undefined; assuming extern returning int
> c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9524) : error C4013:
> ‘__outbytestring’ undefined; assuming extern returning int
> c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9537) : error C4013:
> ‘__outwordstring’ undefined; assuming extern returning int
> c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9550) : error C4013:
> ‘__outdwordstring’ undefined; assuming extern returning int
>
> It appears to be using the correct version of prefast:
>
> PREFAST_ROOT=C:\WINDDK\3790~1.183\bin\x86\drvfast
>
> Does prefast work for X64? Is the problem related to the cross-compilation
> environment? Is there anything I can do to fix it?
>
> prefast runs fine in the XP build enviornment
>
> Beverly
>
>
> —
> Questions? First check the Kernel Driver FAQ at
> http://www.osronline.com/article.cfm?id=256
>
> To unsubscribe, visit the List Server section of OSR Online at
> http://www.osronline.com/page.cfm?name=ListServer
IIRC, prefast does not work on x64 for the server sp1 DDK, but should work on 64 bit builds in the WDK.
d
– I can spell, I just can’t type.
From: xxxxx@lists.osr.com [mailto:xxxxx@lists.osr.com] On Behalf Of Brown, Beverly
Sent: Monday, July 17, 2006 8:48 AM
To: Windows System Software Devs Interest List
Subject: [ntdev] Prefast for 64-bit builds?
I am building a driver using the Windows Server 2003 Checked X64 build environment on a X86 system. I am running into some trouble using prefast. I’m getting the folowing types of errors:
?
c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(4296) : error C4013: ‘UnsignedMultiplyHigh’ undefined; assuming extern returning int
c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9298) : error C4013: ‘__movsb’ undefined; assuming extern returning int
c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9311) : error C4013: ‘__movsw’ undefined; assuming extern returning int
c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9324) : error C4013: ‘__movsd’ undefined; assuming extern returning int
c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9337) : error C4013: ‘FastFence’ undefined; assuming extern returning int
c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9416) : error C4013: ‘__inbyte’ undefined; assuming extern returning int
c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9426) : error C4013: ‘__inword’ undefined; assuming extern returning int
c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9436) : error C4013: ‘__indword’ undefined; assuming extern returning int
c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9449) : error C4013: ‘__inbytestring’ undefined; assuming extern returning int
c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9462) : error C4013: ‘__inwordstring’ undefined; assuming extern returning int
c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9475) : error C4013: ‘__indwordstring’ undefined; assuming extern returning int
c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9487) : error C4013: ‘__outbyte’ undefned; assuming extern returning int
c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9499) : error C4013: ‘__outword’ undefined; assuming extern returning int
c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9511) : error C4013: ‘__outdword’ undefined; assuming extern returning int
c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9524) : error C4013: ‘__outbytestring’ undefined; assuming extern returning int
c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9537) : error C4013: ‘__outwordstring’ undefined; assuming extern returning int
c:\winddk\3790.1830\inc\ddk\wnet\ntddk.h(9550) : error C4013: ‘__outdwordstring’ undefined; assuming extern returning int
It appears to be using the correct version of prefast:
?
PREFAST_ROOT=C:\WINDDK\3790~1.183\bin\x86\drvfast
?
Does prefast work for X64? Is the problem related to the cross-compilation environment? Is there anything I can do to fix it?
?
prefast runs fine in the XP build enviornment
?
Beverly
?
Questions? First check the Kernel Driver FAQ at http://www.osronline.com/article.cfm?id=256
To unsubscribe, visit the List Server section of OSR Online at http://www.osronline.com/page.cfm?name=ListServer