How to build KMDF(Universal) driver for ARM64?

[Muthukrishnan H]

Hi,

I'm trying to build KMDF(Universal) driver for ARM & ARM64. I could successfully built driver for ARM. But when I tried to build it for ARM64 bit platform, I'm getting the following error. Please help me to resolve this issue.

I'm using the latest VS2015(10.0.14393.0) and WDK(10.0.14393.0).

1>------ Rebuild All started: Project: KMDF Driver1, Configuration: Debug ARM64 ------
1> Building 'KMDF Driver1' with toolset 'WindowsKernelModeDriver10.0' and the 'Universal' target platform.
1> Stamping ARM64\Debug\KMDFDriver1.inf [Version] section with DriverVer=10/17/2016,17.46.10.601
1> Device.c
1>C:\Program Files (x86)\Windows Kits\10\Include\10.0.14393.0\km\wdm.h(12575): error C4013: 'UnsignedMultiplyHigh' undefined; assuming extern returning int
1>C:\Program Files (x86)\Windows Kits\10\Include\10.0.14393.0\km\wdm.h(18758): error C4013: '_DataSynchronizationBarrier' undefined; assuming extern returning int
1>C:\Program Files (x86)\Windows Kits\10\Include\10.0.14393.0\km\wdm.h(19162): error C4013: '__readx18dword' undefined; assuming extern returning int
1>C:\Program Files (x86)\Windows Kits\10\Include\10.0.14393.0\km\wdm.h(19194): error C4013: 'MemoryBarrier' undefined; assuming extern returning int
1>C:\Program Files (x86)\Windows Kits\10\Include\10.0.14393.0\km\wdm.h(21656): error C4013: 'DbgRaiseAssertionFailure' undefined; assuming extern returning int
1>C:\Program Files (x86)\Windows Kits\10\Include\10.0.14393.0\km\wdm.h(30625): error C4013: 'InterlockedExchangePointer' undefined; assuming extern returning int
1> Driver.c
1>C:\Program Files (x86)\Windows Kits\10\Include\10.0.14393.0\km\wdm.h(12575): error C4013: 'UnsignedMultiplyHigh' undefined; assuming extern returning int
1>C:\Program Files (x86)\Windows Kits\10\Include\10.0.14393.0\km\wdm.h(18758): error C4013: '_DataSynchronizationBarrier' undefined; assuming extern returning int
1>C:\Program Files (x86)\Windows Kits\10\Include\10.0.14393.0\km\wdm.h(19162): error C4013: '__readx18dword' undefined; assuming extern returning int
1>C:\Program Files (x86)\Windows Kits\10\Include\10.0.14393.0\km\wdm.h(19194): error C4013: 'MemoryBarrier' undefined; assuming extern returning int
1>C:\Program Files (x86)\Windows Kits\10\Include\10.0.14393.0\km\wdm.h(21656): error C4013: 'DbgRaiseAssertionFailure' undefined; assuming extern returning int
1>C:\Program Files (x86)\Windows Kits\10\Include\10.0.14393.0\km\wdm.h(30625): error C4013: 'InterlockedExchangePointer' undefined; assuming extern returning int
1> Queue.c
1>C:\Program Files (x86)\Windows Kits\10\Include\10.0.14393.0\km\wdm.h(12575): error C4013: 'UnsignedMultiplyHigh' undefined; assuming extern returning int
1>C:\Program Files (x86)\Windows Kits\10\Include\10.0.14393.0\km\wdm.h(18758): error C4013: '_DataSynchronizationBarrier' undefined; assuming extern returning int
1>C:\Program Files (x86)\Windows Kits\10\Include\10.0.14393.0\km\wdm.h(19162): error C4013: '__readx18dword' undefined; assuming extern returning int
1>C:\Program Files (x86)\Windows Kits\10\Include\10.0.14393.0\km\wdm.h(19194): error C4013: 'MemoryBarrier' undefined; assuming extern returning int
1>C:\Program Files (x86)\Windows Kits\10\Include\10.0.14393.0\km\wdm.h(21656): error C4013: 'DbgRaiseAssertionFailure' undefined; assuming extern returning int
1>C:\Program Files (x86)\Windows Kits\10\Include\10.0.14393.0\km\wdm.h(30625): error C4013: 'InterlockedExchangePointer' undefined; assuming extern returning int
========== Rebuild All: 0 succeeded, 1 failed, 0 skipped ==========


Thanks in advance,

Muthukrishnan

Continue reading...