17#include "FxDynamics.h"
26#pragma alloc_text(FX_ENHANCED_VERIFIER_SECTION_NAME, \
27 VFWDFEXPORT(WdfCollectionCreate), \
28 VFWDFEXPORT(WdfCollectionGetCount), \
29 VFWDFEXPORT(WdfCollectionAdd), \
30 VFWDFEXPORT(WdfCollectionRemove), \
31 VFWDFEXPORT(WdfCollectionRemoveItem), \
32 VFWDFEXPORT(WdfCollectionGetItem), \
33 VFWDFEXPORT(WdfCollectionGetFirstItem), \
34 VFWDFEXPORT(WdfCollectionGetLastItem), \
35 VFWDFEXPORT(WdfCxDeviceInitAllocate), \
36 VFWDFEXPORT(WdfCxDeviceInitSetRequestAttributes), \
37 VFWDFEXPORT(WdfCxDeviceInitSetFileObjectConfig), \
38 VFWDFEXPORT(WdfCxVerifierKeBugCheck), \
39 VFWDFEXPORT(WdfDeviceGetDeviceState), \
40 VFWDFEXPORT(WdfDeviceSetDeviceState), \
41 VFWDFEXPORT(WdfDeviceWdmDispatchIrp), \
42 VFWDFEXPORT(WdfDeviceWdmDispatchIrpToIoQueue), \
43 VFWDFEXPORT(WdfDeviceGetDriver), \
44 VFWDFEXPORT(WdfDeviceGetIoTarget), \
45 VFWDFEXPORT(WdfDeviceAssignS0IdleSettings), \
46 VFWDFEXPORT(WdfDeviceAssignSxWakeSettings), \
47 VFWDFEXPORT(WdfDeviceOpenRegistryKey), \
48 VFWDFEXPORT(WdfDeviceOpenDevicemapKey), \
49 VFWDFEXPORT(WdfDeviceInitSetPnpPowerEventCallbacks), \
50 VFWDFEXPORT(WdfDeviceInitSetPowerPolicyEventCallbacks), \
51 VFWDFEXPORT(WdfDeviceInitSetPowerPolicyOwnership), \
52 VFWDFEXPORT(WdfDeviceInitSetIoType), \
53 VFWDFEXPORT(WdfDeviceInitSetFileObjectConfig), \
54 VFWDFEXPORT(WdfDeviceInitSetRequestAttributes), \
55 VFWDFEXPORT(WdfDeviceCreate), \
56 VFWDFEXPORT(WdfDeviceSetStaticStopRemove), \
57 VFWDFEXPORT(WdfDeviceCreateDeviceInterface), \
58 VFWDFEXPORT(WdfDeviceSetDeviceInterfaceState), \
59 VFWDFEXPORT(WdfDeviceRetrieveDeviceInterfaceString), \
60 VFWDFEXPORT(WdfDeviceCreateSymbolicLink), \
61 VFWDFEXPORT(WdfDeviceQueryProperty), \
62 VFWDFEXPORT(WdfDeviceAllocAndQueryProperty), \
63 VFWDFEXPORT(WdfDeviceSetPnpCapabilities), \
64 VFWDFEXPORT(WdfDeviceSetPowerCapabilities), \
65 VFWDFEXPORT(WdfDeviceSetFailed), \
66 VFWDFEXPORT(WdfDeviceStopIdleNoTrack), \
67 VFWDFEXPORT(WdfDeviceResumeIdleNoTrack), \
68 VFWDFEXPORT(WdfDeviceStopIdleActual), \
69 VFWDFEXPORT(WdfDeviceResumeIdleActual), \
70 VFWDFEXPORT(WdfDeviceGetFileObject), \
71 VFWDFEXPORT(WdfDeviceGetDefaultQueue), \
72 VFWDFEXPORT(WdfDeviceConfigureRequestDispatching), \
73 VFWDFEXPORT(WdfDeviceConfigureWdmIrpDispatchCallback), \
74 VFWDFEXPORT(WdfDeviceGetSystemPowerAction), \
75 VFWDFEXPORT(WdfDeviceInitSetReleaseHardwareOrderOnFailure), \
76 VFWDFEXPORT(WdfDeviceInitSetIoTypeEx), \
77 VFWDFEXPORT(WdfDevicePostEvent), \
78 VFWDFEXPORT(WdfDeviceMapIoSpace), \
79 VFWDFEXPORT(WdfDeviceUnmapIoSpace), \
80 VFWDFEXPORT(WdfDeviceGetHardwareRegisterMappedAddress), \
81 VFWDFEXPORT(WdfDeviceReadFromHardware), \
82 VFWDFEXPORT(WdfDeviceWriteToHardware), \
83 VFWDFEXPORT(WdfDeviceAssignInterfaceProperty), \
84 VFWDFEXPORT(WdfDeviceAllocAndQueryInterfaceProperty), \
85 VFWDFEXPORT(WdfDeviceQueryInterfaceProperty), \
86 VFWDFEXPORT(WdfDeviceGetDeviceStackIoType), \
87 VFWDFEXPORT(WdfDeviceQueryPropertyEx), \
88 VFWDFEXPORT(WdfDeviceAllocAndQueryPropertyEx), \
89 VFWDFEXPORT(WdfDeviceAssignProperty), \
90 VFWDFEXPORT(WdfDeviceGetSelfIoTarget), \
91 VFWDFEXPORT(WdfDeviceInitAllowSelfIoTarget), \
92 VFWDFEXPORT(WdfDriverCreate), \
93 VFWDFEXPORT(WdfDriverGetRegistryPath), \
94 VFWDFEXPORT(WdfDriverOpenParametersRegistryKey), \
95 VFWDFEXPORT(WdfDriverRetrieveVersionString), \
96 VFWDFEXPORT(WdfDriverIsVersionAvailable), \
97 VFWDFEXPORT(WdfFdoInitOpenRegistryKey), \
98 VFWDFEXPORT(WdfFdoInitQueryProperty), \
99 VFWDFEXPORT(WdfFdoInitAllocAndQueryProperty), \
100 VFWDFEXPORT(WdfFdoInitQueryPropertyEx), \
101 VFWDFEXPORT(WdfFdoInitAllocAndQueryPropertyEx), \
102 VFWDFEXPORT(WdfFdoInitSetFilter), \
103 VFWDFEXPORT(WdfFileObjectGetFileName), \
104 VFWDFEXPORT(WdfFileObjectGetDevice), \
105 VFWDFEXPORT(WdfFileObjectGetInitiatorProcessId), \
106 VFWDFEXPORT(WdfFileObjectGetRelatedFileObject), \
107 VFWDFEXPORT(WdfDeviceInitEnableHidInterface), \
108 VFWDFEXPORT(WdfDeviceHidNotifyPresence), \
109 VFWDFEXPORT(WdfInterruptCreate), \
110 VFWDFEXPORT(WdfInterruptQueueDpcForIsr), \
111 VFWDFEXPORT(WdfInterruptQueueWorkItemForIsr), \
112 VFWDFEXPORT(WdfInterruptSynchronize), \
113 VFWDFEXPORT(WdfInterruptAcquireLock), \
114 VFWDFEXPORT(WdfInterruptReleaseLock), \
115 VFWDFEXPORT(WdfInterruptEnable), \
116 VFWDFEXPORT(WdfInterruptDisable), \
117 VFWDFEXPORT(WdfInterruptGetInfo), \
118 VFWDFEXPORT(WdfInterruptSetPolicy), \
119 VFWDFEXPORT(WdfInterruptSetExtendedPolicy), \
120 VFWDFEXPORT(WdfInterruptGetDevice), \
121 VFWDFEXPORT(WdfInterruptTryToAcquireLock), \
122 VFWDFEXPORT(WdfIoQueueCreate), \
123 VFWDFEXPORT(WdfIoQueueGetState), \
124 VFWDFEXPORT(WdfIoQueueStart), \
125 VFWDFEXPORT(WdfIoQueueStop), \
126 VFWDFEXPORT(WdfIoQueueStopSynchronously), \
127 VFWDFEXPORT(WdfIoQueueGetDevice), \
128 VFWDFEXPORT(WdfIoQueueRetrieveNextRequest), \
129 VFWDFEXPORT(WdfIoQueueRetrieveRequestByFileObject), \
130 VFWDFEXPORT(WdfIoQueueFindRequest), \
131 VFWDFEXPORT(WdfIoQueueRetrieveFoundRequest), \
132 VFWDFEXPORT(WdfIoQueueDrainSynchronously), \
133 VFWDFEXPORT(WdfIoQueueDrain), \
134 VFWDFEXPORT(WdfIoQueuePurgeSynchronously), \
135 VFWDFEXPORT(WdfIoQueuePurge), \
136 VFWDFEXPORT(WdfIoQueueReadyNotify), \
137 VFWDFEXPORT(WdfIoQueueStopAndPurge), \
138 VFWDFEXPORT(WdfIoQueueStopAndPurgeSynchronously), \
139 VFWDFEXPORT(WdfIoTargetCreate), \
140 VFWDFEXPORT(WdfIoTargetOpen), \
141 VFWDFEXPORT(WdfIoTargetCloseForQueryRemove), \
142 VFWDFEXPORT(WdfIoTargetClose), \
143 VFWDFEXPORT(WdfIoTargetStart), \
144 VFWDFEXPORT(WdfIoTargetStop), \
145 VFWDFEXPORT(WdfIoTargetPurge), \
146 VFWDFEXPORT(WdfIoTargetGetState), \
147 VFWDFEXPORT(WdfIoTargetGetDevice), \
148 VFWDFEXPORT(WdfIoTargetWdmGetTargetFileHandle), \
149 VFWDFEXPORT(WdfIoTargetSendReadSynchronously), \
150 VFWDFEXPORT(WdfIoTargetFormatRequestForRead), \
151 VFWDFEXPORT(WdfIoTargetSendWriteSynchronously), \
152 VFWDFEXPORT(WdfIoTargetFormatRequestForWrite), \
153 VFWDFEXPORT(WdfIoTargetSendIoctlSynchronously), \
154 VFWDFEXPORT(WdfIoTargetFormatRequestForIoctl), \
155 VFWDFEXPORT(WdfIoTargetSelfAssignDefaultIoQueue), \
156 VFWDFEXPORT(WdfMemoryCreate), \
157 VFWDFEXPORT(WdfMemoryCreatePreallocated), \
158 VFWDFEXPORT(WdfMemoryGetBuffer), \
159 VFWDFEXPORT(WdfMemoryAssignBuffer), \
160 VFWDFEXPORT(WdfMemoryCopyToBuffer), \
161 VFWDFEXPORT(WdfMemoryCopyFromBuffer), \
162 VFWDFEXPORT(WdfObjectGetTypedContextWorker), \
163 VFWDFEXPORT(WdfObjectAllocateContext), \
164 VFWDFEXPORT(WdfObjectContextGetObject), \
165 VFWDFEXPORT(WdfObjectReferenceActual), \
166 VFWDFEXPORT(WdfObjectDereferenceActual), \
167 VFWDFEXPORT(WdfObjectCreate), \
168 VFWDFEXPORT(WdfObjectDelete), \
169 VFWDFEXPORT(WdfObjectQuery), \
170 VFWDFEXPORT(WdfRegistryOpenKey), \
171 VFWDFEXPORT(WdfRegistryCreateKey), \
172 VFWDFEXPORT(WdfRegistryClose), \
173 VFWDFEXPORT(WdfRegistryWdmGetHandle), \
174 VFWDFEXPORT(WdfRegistryRemoveKey), \
175 VFWDFEXPORT(WdfRegistryRemoveValue), \
176 VFWDFEXPORT(WdfRegistryQueryValue), \
177 VFWDFEXPORT(WdfRegistryQueryMemory), \
178 VFWDFEXPORT(WdfRegistryQueryMultiString), \
179 VFWDFEXPORT(WdfRegistryQueryUnicodeString), \
180 VFWDFEXPORT(WdfRegistryQueryString), \
181 VFWDFEXPORT(WdfRegistryQueryULong), \
182 VFWDFEXPORT(WdfRegistryAssignValue), \
183 VFWDFEXPORT(WdfRegistryAssignMemory), \
184 VFWDFEXPORT(WdfRegistryAssignMultiString), \
185 VFWDFEXPORT(WdfRegistryAssignUnicodeString), \
186 VFWDFEXPORT(WdfRegistryAssignString), \
187 VFWDFEXPORT(WdfRegistryAssignULong), \
188 VFWDFEXPORT(WdfRequestCreate), \
189 VFWDFEXPORT(WdfRequestReuse), \
190 VFWDFEXPORT(WdfRequestChangeTarget), \
191 VFWDFEXPORT(WdfRequestFormatRequestUsingCurrentType), \
192 VFWDFEXPORT(WdfRequestSend), \
193 VFWDFEXPORT(WdfRequestGetStatus), \
194 VFWDFEXPORT(WdfRequestMarkCancelable), \
195 VFWDFEXPORT(WdfRequestMarkCancelableEx), \
196 VFWDFEXPORT(WdfRequestUnmarkCancelable), \
197 VFWDFEXPORT(WdfRequestIsCanceled), \
198 VFWDFEXPORT(WdfRequestCancelSentRequest), \
199 VFWDFEXPORT(WdfRequestIsFrom32BitProcess), \
200 VFWDFEXPORT(WdfRequestSetCompletionRoutine), \
201 VFWDFEXPORT(WdfRequestGetCompletionParams), \
202 VFWDFEXPORT(WdfRequestAllocateTimer), \
203 VFWDFEXPORT(WdfRequestComplete), \
204 VFWDFEXPORT(WdfRequestCompleteWithInformation), \
205 VFWDFEXPORT(WdfRequestGetParameters), \
206 VFWDFEXPORT(WdfRequestRetrieveInputMemory), \
207 VFWDFEXPORT(WdfRequestRetrieveOutputMemory), \
208 VFWDFEXPORT(WdfRequestRetrieveInputBuffer), \
209 VFWDFEXPORT(WdfRequestRetrieveOutputBuffer), \
210 VFWDFEXPORT(WdfRequestSetInformation), \
211 VFWDFEXPORT(WdfRequestGetInformation), \
212 VFWDFEXPORT(WdfRequestGetFileObject), \
213 VFWDFEXPORT(WdfRequestGetRequestorMode), \
214 VFWDFEXPORT(WdfRequestForwardToIoQueue), \
215 VFWDFEXPORT(WdfRequestGetIoQueue), \
216 VFWDFEXPORT(WdfRequestRequeue), \
217 VFWDFEXPORT(WdfRequestStopAcknowledge), \
218 VFWDFEXPORT(WdfRequestImpersonate), \
219 VFWDFEXPORT(WdfRequestGetRequestorProcessId), \
220 VFWDFEXPORT(WdfRequestIsFromUserModeDriver), \
221 VFWDFEXPORT(WdfRequestSetUserModeDriverInitiatedIo), \
222 VFWDFEXPORT(WdfRequestGetUserModeDriverInitiatedIo), \
223 VFWDFEXPORT(WdfRequestSetActivityId), \
224 VFWDFEXPORT(WdfRequestRetrieveActivityId), \
225 VFWDFEXPORT(WdfRequestGetEffectiveIoType), \
226 VFWDFEXPORT(WdfCmResourceListGetCount), \
227 VFWDFEXPORT(WdfCmResourceListGetDescriptor), \
228 VFWDFEXPORT(WdfStringCreate), \
229 VFWDFEXPORT(WdfStringGetUnicodeString), \
230 VFWDFEXPORT(WdfObjectAcquireLock), \
231 VFWDFEXPORT(WdfObjectReleaseLock), \
232 VFWDFEXPORT(WdfWaitLockCreate), \
233 VFWDFEXPORT(WdfWaitLockAcquire), \
234 VFWDFEXPORT(WdfWaitLockRelease), \
235 VFWDFEXPORT(WdfSpinLockCreate), \
236 VFWDFEXPORT(WdfSpinLockAcquire), \
237 VFWDFEXPORT(WdfSpinLockRelease), \
238 VFWDFEXPORT(WdfTimerCreate), \
239 VFWDFEXPORT(WdfTimerStart), \
240 VFWDFEXPORT(WdfTimerStop), \
241 VFWDFEXPORT(WdfTimerGetParentObject), \
242 VFWDFEXPORT(WdfUsbTargetDeviceCreate), \
243 VFWDFEXPORT(WdfUsbTargetDeviceCreateWithParameters), \
244 VFWDFEXPORT(WdfUsbTargetDeviceRetrieveInformation), \
245 VFWDFEXPORT(WdfUsbTargetDeviceGetDeviceDescriptor), \
246 VFWDFEXPORT(WdfUsbTargetDeviceRetrieveConfigDescriptor), \
247 VFWDFEXPORT(WdfUsbTargetDeviceQueryString), \
248 VFWDFEXPORT(WdfUsbTargetDeviceAllocAndQueryString), \
249 VFWDFEXPORT(WdfUsbTargetDeviceFormatRequestForString), \
250 VFWDFEXPORT(WdfUsbTargetDeviceGetNumInterfaces), \
251 VFWDFEXPORT(WdfUsbTargetDeviceSelectConfig), \
252 VFWDFEXPORT(WdfUsbTargetDeviceSendControlTransferSynchronously), \
253 VFWDFEXPORT(WdfUsbTargetDeviceFormatRequestForControlTransfer), \
254 VFWDFEXPORT(WdfUsbTargetDeviceResetPortSynchronously), \
255 VFWDFEXPORT(WdfUsbTargetDeviceQueryUsbCapability), \
256 VFWDFEXPORT(WdfUsbTargetPipeGetInformation), \
257 VFWDFEXPORT(WdfUsbTargetPipeIsInEndpoint), \
258 VFWDFEXPORT(WdfUsbTargetPipeIsOutEndpoint), \
259 VFWDFEXPORT(WdfUsbTargetPipeGetType), \
260 VFWDFEXPORT(WdfUsbTargetPipeSetNoMaximumPacketSizeCheck), \
261 VFWDFEXPORT(WdfUsbTargetPipeWriteSynchronously), \
262 VFWDFEXPORT(WdfUsbTargetPipeFormatRequestForWrite), \
263 VFWDFEXPORT(WdfUsbTargetPipeReadSynchronously), \
264 VFWDFEXPORT(WdfUsbTargetPipeFormatRequestForRead), \
265 VFWDFEXPORT(WdfUsbTargetPipeConfigContinuousReader), \
266 VFWDFEXPORT(WdfUsbTargetPipeAbortSynchronously), \
267 VFWDFEXPORT(WdfUsbTargetPipeFormatRequestForAbort), \
268 VFWDFEXPORT(WdfUsbTargetPipeResetSynchronously), \
269 VFWDFEXPORT(WdfUsbTargetPipeFormatRequestForReset), \
270 VFWDFEXPORT(WdfUsbInterfaceGetInterfaceNumber), \
271 VFWDFEXPORT(WdfUsbInterfaceGetNumEndpoints), \
272 VFWDFEXPORT(WdfUsbInterfaceGetDescriptor), \
273 VFWDFEXPORT(WdfUsbInterfaceGetNumSettings), \
274 VFWDFEXPORT(WdfUsbInterfaceSelectSetting), \
275 VFWDFEXPORT(WdfUsbInterfaceGetEndpointInformation), \
276 VFWDFEXPORT(WdfUsbTargetDeviceGetInterface), \
277 VFWDFEXPORT(WdfUsbInterfaceGetConfiguredSettingIndex), \
278 VFWDFEXPORT(WdfUsbInterfaceGetNumConfiguredPipes), \
279 VFWDFEXPORT(WdfUsbInterfaceGetConfiguredPipe), \
280 VFWDFEXPORT(WdfVerifierDbgBreakPoint), \
281 VFWDFEXPORT(WdfVerifierKeBugCheck), \
282 VFWDFEXPORT(WdfGetTriageInfo), \
283 VFWDFEXPORT(WdfWorkItemCreate), \
284 VFWDFEXPORT(WdfWorkItemEnqueue), \
285 VFWDFEXPORT(WdfWorkItemGetParentObject), \
286 VFWDFEXPORT(WdfWorkItemFlush), \
669VFWDFEXPORT(WdfDeviceInitSetPnpPowerEventCallbacks)(
685VFWDFEXPORT(WdfDeviceInitSetPowerPolicyEventCallbacks)(
860VFWDFEXPORT(WdfDeviceRetrieveDeviceInterfaceString)(
1119VFWDFEXPORT(WdfDeviceConfigureWdmIrpDispatchCallback)(
1155VFWDFEXPORT(WdfDeviceInitSetReleaseHardwareOrderOnFailure)(
1250VFWDFEXPORT(WdfDeviceGetHardwareRegisterMappedAddress)(
1272 WDF_DEVICE_HWACCESS_TARGET_TYPE
Type,
1274 WDF_DEVICE_HWACCESS_TARGET_SIZE
Size,
1296 WDF_DEVICE_HWACCESS_TARGET_TYPE
Type,
1298 WDF_DEVICE_HWACCESS_TARGET_SIZE
Size,
1338VFWDFEXPORT(WdfDeviceAllocAndQueryInterfaceProperty)(
2170VFWDFEXPORT(WdfIoQueueRetrieveRequestByFileObject)(
2780 size_t NumBytesToCopyTo
2802 size_t NumBytesToCopyFrom
3364VFWDFEXPORT(WdfRequestFormatRequestUsingCurrentType)(
3850VFWDFEXPORT(WdfRequestSetUserModeDriverInitiatedIo)(
3866VFWDFEXPORT(WdfRequestGetUserModeDriverInitiatedIo)(