25#pragma alloc_text(FX_ENHANCED_VERIFIER_SECTION_NAME, \
26 VFWDFEXPORT(WdfChildListCreate), \
27 VFWDFEXPORT(WdfChildListGetDevice), \
28 VFWDFEXPORT(WdfChildListRetrievePdo), \
29 VFWDFEXPORT(WdfChildListRetrieveAddressDescription), \
30 VFWDFEXPORT(WdfChildListBeginScan), \
31 VFWDFEXPORT(WdfChildListEndScan), \
32 VFWDFEXPORT(WdfChildListBeginIteration), \
33 VFWDFEXPORT(WdfChildListRetrieveNextDevice), \
34 VFWDFEXPORT(WdfChildListEndIteration), \
35 VFWDFEXPORT(WdfChildListAddOrUpdateChildDescriptionAsPresent), \
36 VFWDFEXPORT(WdfChildListUpdateChildDescriptionAsMissing), \
37 VFWDFEXPORT(WdfChildListUpdateAllChildDescriptionsAsPresent), \
38 VFWDFEXPORT(WdfChildListRequestChildEject), \
39 VFWDFEXPORT(WdfCollectionCreate), \
40 VFWDFEXPORT(WdfCollectionGetCount), \
41 VFWDFEXPORT(WdfCollectionAdd), \
42 VFWDFEXPORT(WdfCollectionRemove), \
43 VFWDFEXPORT(WdfCollectionRemoveItem), \
44 VFWDFEXPORT(WdfCollectionGetItem), \
45 VFWDFEXPORT(WdfCollectionGetFirstItem), \
46 VFWDFEXPORT(WdfCollectionGetLastItem), \
47 VFWDFEXPORT(WdfCommonBufferCreate), \
48 VFWDFEXPORT(WdfCommonBufferCreateWithConfig), \
49 VFWDFEXPORT(WdfCommonBufferGetAlignedVirtualAddress), \
50 VFWDFEXPORT(WdfCommonBufferGetAlignedLogicalAddress), \
51 VFWDFEXPORT(WdfCommonBufferGetLength), \
52 VFWDFEXPORT(WdfControlDeviceInitAllocate), \
53 VFWDFEXPORT(WdfControlDeviceInitSetShutdownNotification), \
54 VFWDFEXPORT(WdfControlFinishInitializing), \
55 VFWDFEXPORT(WdfCxDeviceInitAllocate), \
56 VFWDFEXPORT(WdfCxDeviceInitAssignWdmIrpPreprocessCallback), \
57 VFWDFEXPORT(WdfCxDeviceInitSetIoInCallerContextCallback), \
58 VFWDFEXPORT(WdfCxDeviceInitSetRequestAttributes), \
59 VFWDFEXPORT(WdfCxDeviceInitSetFileObjectConfig), \
60 VFWDFEXPORT(WdfCxVerifierKeBugCheck), \
61 VFWDFEXPORT(WdfDeviceGetDeviceState), \
62 VFWDFEXPORT(WdfDeviceSetDeviceState), \
63 VFWDFEXPORT(WdfWdmDeviceGetWdfDeviceHandle), \
64 VFWDFEXPORT(WdfDeviceWdmGetDeviceObject), \
65 VFWDFEXPORT(WdfDeviceWdmGetAttachedDevice), \
66 VFWDFEXPORT(WdfDeviceWdmGetPhysicalDevice), \
67 VFWDFEXPORT(WdfDeviceWdmDispatchPreprocessedIrp), \
68 VFWDFEXPORT(WdfDeviceWdmDispatchIrp), \
69 VFWDFEXPORT(WdfDeviceWdmDispatchIrpToIoQueue), \
70 VFWDFEXPORT(WdfDeviceAddDependentUsageDeviceObject), \
71 VFWDFEXPORT(WdfDeviceRemoveDependentUsageDeviceObject), \
72 VFWDFEXPORT(WdfDeviceAddRemovalRelationsPhysicalDevice), \
73 VFWDFEXPORT(WdfDeviceRemoveRemovalRelationsPhysicalDevice), \
74 VFWDFEXPORT(WdfDeviceClearRemovalRelationsDevices), \
75 VFWDFEXPORT(WdfDeviceGetDriver), \
76 VFWDFEXPORT(WdfDeviceRetrieveDeviceName), \
77 VFWDFEXPORT(WdfDeviceAssignMofResourceName), \
78 VFWDFEXPORT(WdfDeviceGetIoTarget), \
79 VFWDFEXPORT(WdfDeviceGetDevicePnpState), \
80 VFWDFEXPORT(WdfDeviceGetDevicePowerState), \
81 VFWDFEXPORT(WdfDeviceGetDevicePowerPolicyState), \
82 VFWDFEXPORT(WdfDeviceAssignS0IdleSettings), \
83 VFWDFEXPORT(WdfDeviceAssignSxWakeSettings), \
84 VFWDFEXPORT(WdfDeviceOpenRegistryKey), \
85 VFWDFEXPORT(WdfDeviceOpenDevicemapKey), \
86 VFWDFEXPORT(WdfDeviceSetSpecialFileSupport), \
87 VFWDFEXPORT(WdfDeviceSetCharacteristics), \
88 VFWDFEXPORT(WdfDeviceGetCharacteristics), \
89 VFWDFEXPORT(WdfDeviceGetAlignmentRequirement), \
90 VFWDFEXPORT(WdfDeviceSetAlignmentRequirement), \
91 VFWDFEXPORT(WdfDeviceInitFree), \
92 VFWDFEXPORT(WdfDeviceInitSetPnpPowerEventCallbacks), \
93 VFWDFEXPORT(WdfDeviceInitSetPowerPolicyEventCallbacks), \
94 VFWDFEXPORT(WdfDeviceInitSetPowerPolicyOwnership), \
95 VFWDFEXPORT(WdfDeviceInitRegisterPnpStateChangeCallback), \
96 VFWDFEXPORT(WdfDeviceInitRegisterPowerStateChangeCallback), \
97 VFWDFEXPORT(WdfDeviceInitRegisterPowerPolicyStateChangeCallback), \
98 VFWDFEXPORT(WdfDeviceInitSetExclusive), \
99 VFWDFEXPORT(WdfDeviceInitSetIoType), \
100 VFWDFEXPORT(WdfDeviceInitSetPowerNotPageable), \
101 VFWDFEXPORT(WdfDeviceInitSetPowerPageable), \
102 VFWDFEXPORT(WdfDeviceInitSetPowerInrush), \
103 VFWDFEXPORT(WdfDeviceInitSetDeviceType), \
104 VFWDFEXPORT(WdfDeviceInitAssignName), \
105 VFWDFEXPORT(WdfDeviceInitAssignSDDLString), \
106 VFWDFEXPORT(WdfDeviceInitSetDeviceClass), \
107 VFWDFEXPORT(WdfDeviceInitSetCharacteristics), \
108 VFWDFEXPORT(WdfDeviceInitSetFileObjectConfig), \
109 VFWDFEXPORT(WdfDeviceInitSetRequestAttributes), \
110 VFWDFEXPORT(WdfDeviceInitAssignWdmIrpPreprocessCallback), \
111 VFWDFEXPORT(WdfDeviceInitSetIoInCallerContextCallback), \
112 VFWDFEXPORT(WdfDeviceInitSetRemoveLockOptions), \
113 VFWDFEXPORT(WdfDeviceCreate), \
114 VFWDFEXPORT(WdfDeviceSetStaticStopRemove), \
115 VFWDFEXPORT(WdfDeviceCreateDeviceInterface), \
116 VFWDFEXPORT(WdfDeviceSetDeviceInterfaceState), \
117 VFWDFEXPORT(WdfDeviceRetrieveDeviceInterfaceString), \
118 VFWDFEXPORT(WdfDeviceCreateSymbolicLink), \
119 VFWDFEXPORT(WdfDeviceQueryProperty), \
120 VFWDFEXPORT(WdfDeviceAllocAndQueryProperty), \
121 VFWDFEXPORT(WdfDeviceSetPnpCapabilities), \
122 VFWDFEXPORT(WdfDeviceSetPowerCapabilities), \
123 VFWDFEXPORT(WdfDeviceSetBusInformationForChildren), \
124 VFWDFEXPORT(WdfDeviceIndicateWakeStatus), \
125 VFWDFEXPORT(WdfDeviceSetFailed), \
126 VFWDFEXPORT(WdfDeviceStopIdleNoTrack), \
127 VFWDFEXPORT(WdfDeviceResumeIdleNoTrack), \
128 VFWDFEXPORT(WdfDeviceStopIdleActual), \
129 VFWDFEXPORT(WdfDeviceResumeIdleActual), \
130 VFWDFEXPORT(WdfDeviceGetFileObject), \
131 VFWDFEXPORT(WdfDeviceEnqueueRequest), \
132 VFWDFEXPORT(WdfDeviceGetDefaultQueue), \
133 VFWDFEXPORT(WdfDeviceConfigureRequestDispatching), \
134 VFWDFEXPORT(WdfDeviceConfigureWdmIrpDispatchCallback), \
135 VFWDFEXPORT(WdfDeviceGetSystemPowerAction), \
136 VFWDFEXPORT(WdfDeviceWdmAssignPowerFrameworkSettings), \
137 VFWDFEXPORT(WdfDeviceInitSetReleaseHardwareOrderOnFailure), \
138 VFWDFEXPORT(WdfDeviceInitSetIoTypeEx), \
139 VFWDFEXPORT(WdfDeviceQueryPropertyEx), \
140 VFWDFEXPORT(WdfDeviceAllocAndQueryPropertyEx), \
141 VFWDFEXPORT(WdfDeviceAssignProperty), \
142 VFWDFEXPORT(WdfDeviceGetSelfIoTarget), \
143 VFWDFEXPORT(WdfDeviceInitAllowSelfIoTarget), \
144 VFWDFEXPORT(WdfDmaEnablerCreate), \
145 VFWDFEXPORT(WdfDmaEnablerConfigureSystemProfile), \
146 VFWDFEXPORT(WdfDmaEnablerGetMaximumLength), \
147 VFWDFEXPORT(WdfDmaEnablerGetMaximumScatterGatherElements), \
148 VFWDFEXPORT(WdfDmaEnablerSetMaximumScatterGatherElements), \
149 VFWDFEXPORT(WdfDmaEnablerGetFragmentLength), \
150 VFWDFEXPORT(WdfDmaEnablerWdmGetDmaAdapter), \
151 VFWDFEXPORT(WdfDmaTransactionCreate), \
152 VFWDFEXPORT(WdfDmaTransactionInitialize), \
153 VFWDFEXPORT(WdfDmaTransactionInitializeUsingOffset), \
154 VFWDFEXPORT(WdfDmaTransactionInitializeUsingRequest), \
155 VFWDFEXPORT(WdfDmaTransactionExecute), \
156 VFWDFEXPORT(WdfDmaTransactionRelease), \
157 VFWDFEXPORT(WdfDmaTransactionDmaCompleted), \
158 VFWDFEXPORT(WdfDmaTransactionDmaCompletedWithLength), \
159 VFWDFEXPORT(WdfDmaTransactionDmaCompletedFinal), \
160 VFWDFEXPORT(WdfDmaTransactionGetBytesTransferred), \
161 VFWDFEXPORT(WdfDmaTransactionSetMaximumLength), \
162 VFWDFEXPORT(WdfDmaTransactionGetRequest), \
163 VFWDFEXPORT(WdfDmaTransactionGetCurrentDmaTransferLength), \
164 VFWDFEXPORT(WdfDmaTransactionGetDevice), \
165 VFWDFEXPORT(WdfDmaTransactionGetTransferInfo), \
166 VFWDFEXPORT(WdfDmaTransactionSetChannelConfigurationCallback), \
167 VFWDFEXPORT(WdfDmaTransactionSetTransferCompleteCallback), \
168 VFWDFEXPORT(WdfDmaTransactionSetImmediateExecution), \
169 VFWDFEXPORT(WdfDmaTransactionAllocateResources), \
170 VFWDFEXPORT(WdfDmaTransactionSetDeviceAddressOffset), \
171 VFWDFEXPORT(WdfDmaTransactionFreeResources), \
172 VFWDFEXPORT(WdfDmaTransactionCancel), \
173 VFWDFEXPORT(WdfDmaTransactionWdmGetTransferContext), \
174 VFWDFEXPORT(WdfDmaTransactionStopSystemTransfer), \
175 VFWDFEXPORT(WdfDpcCreate), \
176 VFWDFEXPORT(WdfDpcEnqueue), \
177 VFWDFEXPORT(WdfDpcCancel), \
178 VFWDFEXPORT(WdfDpcGetParentObject), \
179 VFWDFEXPORT(WdfDpcWdmGetDpc), \
180 VFWDFEXPORT(WdfDriverCreate), \
181 VFWDFEXPORT(WdfDriverGetRegistryPath), \
182 VFWDFEXPORT(WdfDriverWdmGetDriverObject), \
183 VFWDFEXPORT(WdfDriverOpenParametersRegistryKey), \
184 VFWDFEXPORT(WdfWdmDriverGetWdfDriverHandle), \
185 VFWDFEXPORT(WdfDriverRegisterTraceInfo), \
186 VFWDFEXPORT(WdfDriverRetrieveVersionString), \
187 VFWDFEXPORT(WdfDriverIsVersionAvailable), \
188 VFWDFEXPORT(WdfFdoInitWdmGetPhysicalDevice), \
189 VFWDFEXPORT(WdfFdoInitOpenRegistryKey), \
190 VFWDFEXPORT(WdfFdoInitQueryProperty), \
191 VFWDFEXPORT(WdfFdoInitAllocAndQueryProperty), \
192 VFWDFEXPORT(WdfFdoInitQueryPropertyEx), \
193 VFWDFEXPORT(WdfFdoInitAllocAndQueryPropertyEx), \
194 VFWDFEXPORT(WdfFdoInitSetEventCallbacks), \
195 VFWDFEXPORT(WdfFdoInitSetFilter), \
196 VFWDFEXPORT(WdfFdoInitSetDefaultChildListConfig), \
197 VFWDFEXPORT(WdfFdoQueryForInterface), \
198 VFWDFEXPORT(WdfFdoGetDefaultChildList), \
199 VFWDFEXPORT(WdfFdoAddStaticChild), \
200 VFWDFEXPORT(WdfFdoLockStaticChildListForIteration), \
201 VFWDFEXPORT(WdfFdoRetrieveNextStaticChild), \
202 VFWDFEXPORT(WdfFdoUnlockStaticChildListFromIteration), \
203 VFWDFEXPORT(WdfFileObjectGetFileName), \
204 VFWDFEXPORT(WdfFileObjectGetFlags), \
205 VFWDFEXPORT(WdfFileObjectGetDevice), \
206 VFWDFEXPORT(WdfFileObjectWdmGetFileObject), \
207 VFWDFEXPORT(WdfInterruptCreate), \
208 VFWDFEXPORT(WdfInterruptQueueDpcForIsr), \
209 VFWDFEXPORT(WdfInterruptQueueWorkItemForIsr), \
210 VFWDFEXPORT(WdfInterruptSynchronize), \
211 VFWDFEXPORT(WdfInterruptAcquireLock), \
212 VFWDFEXPORT(WdfInterruptReleaseLock), \
213 VFWDFEXPORT(WdfInterruptEnable), \
214 VFWDFEXPORT(WdfInterruptDisable), \
215 VFWDFEXPORT(WdfInterruptWdmGetInterrupt), \
216 VFWDFEXPORT(WdfInterruptGetInfo), \
217 VFWDFEXPORT(WdfInterruptSetPolicy), \
218 VFWDFEXPORT(WdfInterruptSetExtendedPolicy), \
219 VFWDFEXPORT(WdfInterruptGetDevice), \
220 VFWDFEXPORT(WdfInterruptTryToAcquireLock), \
221 VFWDFEXPORT(WdfInterruptReportActive), \
222 VFWDFEXPORT(WdfInterruptReportInactive), \
223 VFWDFEXPORT(WdfIoQueueCreate), \
224 VFWDFEXPORT(WdfIoQueueGetState), \
225 VFWDFEXPORT(WdfIoQueueStart), \
226 VFWDFEXPORT(WdfIoQueueStop), \
227 VFWDFEXPORT(WdfIoQueueStopSynchronously), \
228 VFWDFEXPORT(WdfIoQueueGetDevice), \
229 VFWDFEXPORT(WdfIoQueueRetrieveNextRequest), \
230 VFWDFEXPORT(WdfIoQueueRetrieveRequestByFileObject), \
231 VFWDFEXPORT(WdfIoQueueFindRequest), \
232 VFWDFEXPORT(WdfIoQueueRetrieveFoundRequest), \
233 VFWDFEXPORT(WdfIoQueueDrainSynchronously), \
234 VFWDFEXPORT(WdfIoQueueDrain), \
235 VFWDFEXPORT(WdfIoQueuePurgeSynchronously), \
236 VFWDFEXPORT(WdfIoQueuePurge), \
237 VFWDFEXPORT(WdfIoQueueReadyNotify), \
238 VFWDFEXPORT(WdfIoQueueAssignForwardProgressPolicy), \
239 VFWDFEXPORT(WdfIoQueueStopAndPurge), \
240 VFWDFEXPORT(WdfIoQueueStopAndPurgeSynchronously), \
241 VFWDFEXPORT(WdfIoTargetCreate), \
242 VFWDFEXPORT(WdfIoTargetOpen), \
243 VFWDFEXPORT(WdfIoTargetCloseForQueryRemove), \
244 VFWDFEXPORT(WdfIoTargetClose), \
245 VFWDFEXPORT(WdfIoTargetStart), \
246 VFWDFEXPORT(WdfIoTargetStop), \
247 VFWDFEXPORT(WdfIoTargetPurge), \
248 VFWDFEXPORT(WdfIoTargetGetState), \
249 VFWDFEXPORT(WdfIoTargetGetDevice), \
250 VFWDFEXPORT(WdfIoTargetQueryTargetProperty), \
251 VFWDFEXPORT(WdfIoTargetAllocAndQueryTargetProperty), \
252 VFWDFEXPORT(WdfIoTargetQueryForInterface), \
253 VFWDFEXPORT(WdfIoTargetWdmGetTargetDeviceObject), \
254 VFWDFEXPORT(WdfIoTargetWdmGetTargetPhysicalDevice), \
255 VFWDFEXPORT(WdfIoTargetWdmGetTargetFileObject), \
256 VFWDFEXPORT(WdfIoTargetWdmGetTargetFileHandle), \
257 VFWDFEXPORT(WdfIoTargetSendReadSynchronously), \
258 VFWDFEXPORT(WdfIoTargetFormatRequestForRead), \
259 VFWDFEXPORT(WdfIoTargetSendWriteSynchronously), \
260 VFWDFEXPORT(WdfIoTargetFormatRequestForWrite), \
261 VFWDFEXPORT(WdfIoTargetSendIoctlSynchronously), \
262 VFWDFEXPORT(WdfIoTargetFormatRequestForIoctl), \
263 VFWDFEXPORT(WdfIoTargetSendInternalIoctlSynchronously), \
264 VFWDFEXPORT(WdfIoTargetFormatRequestForInternalIoctl), \
265 VFWDFEXPORT(WdfIoTargetSendInternalIoctlOthersSynchronously), \
266 VFWDFEXPORT(WdfIoTargetFormatRequestForInternalIoctlOthers), \
267 VFWDFEXPORT(WdfIoTargetSelfAssignDefaultIoQueue), \
268 VFWDFEXPORT(WdfMemoryCreate), \
269 VFWDFEXPORT(WdfMemoryCreatePreallocated), \
270 VFWDFEXPORT(WdfMemoryGetBuffer), \
271 VFWDFEXPORT(WdfMemoryAssignBuffer), \
272 VFWDFEXPORT(WdfMemoryCopyToBuffer), \
273 VFWDFEXPORT(WdfMemoryCopyFromBuffer), \
274 VFWDFEXPORT(WdfLookasideListCreate), \
275 VFWDFEXPORT(WdfMemoryCreateFromLookaside), \
276 VFWDFEXPORT(WdfDeviceMiniportCreate), \
277 VFWDFEXPORT(WdfDriverMiniportUnload), \
278 VFWDFEXPORT(WdfObjectGetTypedContextWorker), \
279 VFWDFEXPORT(WdfObjectAllocateContext), \
280 VFWDFEXPORT(WdfObjectContextGetObject), \
281 VFWDFEXPORT(WdfObjectReferenceActual), \
282 VFWDFEXPORT(WdfObjectDereferenceActual), \
283 VFWDFEXPORT(WdfObjectCreate), \
284 VFWDFEXPORT(WdfObjectDelete), \
285 VFWDFEXPORT(WdfObjectQuery), \
286 VFWDFEXPORT(WdfPdoInitAllocate), \
287 VFWDFEXPORT(WdfPdoInitSetEventCallbacks), \
288 VFWDFEXPORT(WdfPdoInitAssignDeviceID), \
289 VFWDFEXPORT(WdfPdoInitAssignInstanceID), \
290 VFWDFEXPORT(WdfPdoInitAddHardwareID), \
291 VFWDFEXPORT(WdfPdoInitAddCompatibleID), \
292 VFWDFEXPORT(WdfPdoInitAssignContainerID), \
293 VFWDFEXPORT(WdfPdoInitAddDeviceText), \
294 VFWDFEXPORT(WdfPdoInitSetDefaultLocale), \
295 VFWDFEXPORT(WdfPdoInitAssignRawDevice), \
296 VFWDFEXPORT(WdfPdoInitAllowForwardingRequestToParent), \
297 VFWDFEXPORT(WdfPdoMarkMissing), \
298 VFWDFEXPORT(WdfPdoRequestEject), \
299 VFWDFEXPORT(WdfPdoGetParent), \
300 VFWDFEXPORT(WdfPdoRetrieveIdentificationDescription), \
301 VFWDFEXPORT(WdfPdoRetrieveAddressDescription), \
302 VFWDFEXPORT(WdfPdoUpdateAddressDescription), \
303 VFWDFEXPORT(WdfPdoAddEjectionRelationsPhysicalDevice), \
304 VFWDFEXPORT(WdfPdoRemoveEjectionRelationsPhysicalDevice), \
305 VFWDFEXPORT(WdfPdoClearEjectionRelationsDevices), \
306 VFWDFEXPORT(WdfDeviceAddQueryInterface), \
307 VFWDFEXPORT(WdfRegistryOpenKey), \
308 VFWDFEXPORT(WdfRegistryCreateKey), \
309 VFWDFEXPORT(WdfRegistryClose), \
310 VFWDFEXPORT(WdfRegistryWdmGetHandle), \
311 VFWDFEXPORT(WdfRegistryRemoveKey), \
312 VFWDFEXPORT(WdfRegistryRemoveValue), \
313 VFWDFEXPORT(WdfRegistryQueryValue), \
314 VFWDFEXPORT(WdfRegistryQueryMemory), \
315 VFWDFEXPORT(WdfRegistryQueryMultiString), \
316 VFWDFEXPORT(WdfRegistryQueryUnicodeString), \
317 VFWDFEXPORT(WdfRegistryQueryString), \
318 VFWDFEXPORT(WdfRegistryQueryULong), \
319 VFWDFEXPORT(WdfRegistryAssignValue), \
320 VFWDFEXPORT(WdfRegistryAssignMemory), \
321 VFWDFEXPORT(WdfRegistryAssignMultiString), \
322 VFWDFEXPORT(WdfRegistryAssignUnicodeString), \
323 VFWDFEXPORT(WdfRegistryAssignString), \
324 VFWDFEXPORT(WdfRegistryAssignULong), \
325 VFWDFEXPORT(WdfRequestCreate), \
326 VFWDFEXPORT(WdfRequestCreateFromIrp), \
327 VFWDFEXPORT(WdfRequestReuse), \
328 VFWDFEXPORT(WdfRequestChangeTarget), \
329 VFWDFEXPORT(WdfRequestFormatRequestUsingCurrentType), \
330 VFWDFEXPORT(WdfRequestWdmFormatUsingStackLocation), \
331 VFWDFEXPORT(WdfRequestSend), \
332 VFWDFEXPORT(WdfRequestGetStatus), \
333 VFWDFEXPORT(WdfRequestMarkCancelable), \
334 VFWDFEXPORT(WdfRequestMarkCancelableEx), \
335 VFWDFEXPORT(WdfRequestUnmarkCancelable), \
336 VFWDFEXPORT(WdfRequestIsCanceled), \
337 VFWDFEXPORT(WdfRequestCancelSentRequest), \
338 VFWDFEXPORT(WdfRequestIsFrom32BitProcess), \
339 VFWDFEXPORT(WdfRequestSetCompletionRoutine), \
340 VFWDFEXPORT(WdfRequestGetCompletionParams), \
341 VFWDFEXPORT(WdfRequestAllocateTimer), \
342 VFWDFEXPORT(WdfRequestComplete), \
343 VFWDFEXPORT(WdfRequestCompleteWithPriorityBoost), \
344 VFWDFEXPORT(WdfRequestCompleteWithInformation), \
345 VFWDFEXPORT(WdfRequestGetParameters), \
346 VFWDFEXPORT(WdfRequestRetrieveInputMemory), \
347 VFWDFEXPORT(WdfRequestRetrieveOutputMemory), \
348 VFWDFEXPORT(WdfRequestRetrieveInputBuffer), \
349 VFWDFEXPORT(WdfRequestRetrieveOutputBuffer), \
350 VFWDFEXPORT(WdfRequestRetrieveInputWdmMdl), \
351 VFWDFEXPORT(WdfRequestRetrieveOutputWdmMdl), \
352 VFWDFEXPORT(WdfRequestRetrieveUnsafeUserInputBuffer), \
353 VFWDFEXPORT(WdfRequestRetrieveUnsafeUserOutputBuffer), \
354 VFWDFEXPORT(WdfRequestSetInformation), \
355 VFWDFEXPORT(WdfRequestGetInformation), \
356 VFWDFEXPORT(WdfRequestGetFileObject), \
357 VFWDFEXPORT(WdfRequestProbeAndLockUserBufferForRead), \
358 VFWDFEXPORT(WdfRequestProbeAndLockUserBufferForWrite), \
359 VFWDFEXPORT(WdfRequestGetRequestorMode), \
360 VFWDFEXPORT(WdfRequestForwardToIoQueue), \
361 VFWDFEXPORT(WdfRequestGetIoQueue), \
362 VFWDFEXPORT(WdfRequestRequeue), \
363 VFWDFEXPORT(WdfRequestStopAcknowledge), \
364 VFWDFEXPORT(WdfRequestWdmGetIrp), \
365 VFWDFEXPORT(WdfRequestIsReserved), \
366 VFWDFEXPORT(WdfRequestForwardToParentDeviceIoQueue), \
367 VFWDFEXPORT(WdfIoResourceRequirementsListSetSlotNumber), \
368 VFWDFEXPORT(WdfIoResourceRequirementsListSetInterfaceType), \
369 VFWDFEXPORT(WdfIoResourceRequirementsListAppendIoResList), \
370 VFWDFEXPORT(WdfIoResourceRequirementsListInsertIoResList), \
371 VFWDFEXPORT(WdfIoResourceRequirementsListGetCount), \
372 VFWDFEXPORT(WdfIoResourceRequirementsListGetIoResList), \
373 VFWDFEXPORT(WdfIoResourceRequirementsListRemove), \
374 VFWDFEXPORT(WdfIoResourceRequirementsListRemoveByIoResList), \
375 VFWDFEXPORT(WdfIoResourceListCreate), \
376 VFWDFEXPORT(WdfIoResourceListAppendDescriptor), \
377 VFWDFEXPORT(WdfIoResourceListInsertDescriptor), \
378 VFWDFEXPORT(WdfIoResourceListUpdateDescriptor), \
379 VFWDFEXPORT(WdfIoResourceListGetCount), \
380 VFWDFEXPORT(WdfIoResourceListGetDescriptor), \
381 VFWDFEXPORT(WdfIoResourceListRemove), \
382 VFWDFEXPORT(WdfIoResourceListRemoveByDescriptor), \
383 VFWDFEXPORT(WdfCmResourceListAppendDescriptor), \
384 VFWDFEXPORT(WdfCmResourceListInsertDescriptor), \
385 VFWDFEXPORT(WdfCmResourceListGetCount), \
386 VFWDFEXPORT(WdfCmResourceListGetDescriptor), \
387 VFWDFEXPORT(WdfCmResourceListRemove), \
388 VFWDFEXPORT(WdfCmResourceListRemoveByDescriptor), \
389 VFWDFEXPORT(WdfStringCreate), \
390 VFWDFEXPORT(WdfStringGetUnicodeString), \
391 VFWDFEXPORT(WdfObjectAcquireLock), \
392 VFWDFEXPORT(WdfObjectReleaseLock), \
393 VFWDFEXPORT(WdfWaitLockCreate), \
394 VFWDFEXPORT(WdfWaitLockAcquire), \
395 VFWDFEXPORT(WdfWaitLockRelease), \
396 VFWDFEXPORT(WdfSpinLockCreate), \
397 VFWDFEXPORT(WdfSpinLockAcquire), \
398 VFWDFEXPORT(WdfSpinLockRelease), \
399 VFWDFEXPORT(WdfTimerCreate), \
400 VFWDFEXPORT(WdfTimerStart), \
401 VFWDFEXPORT(WdfTimerStop), \
402 VFWDFEXPORT(WdfTimerGetParentObject), \
403 VFWDFEXPORT(WdfUsbTargetDeviceCreate), \
404 VFWDFEXPORT(WdfUsbTargetDeviceCreateWithParameters), \
405 VFWDFEXPORT(WdfUsbTargetDeviceRetrieveInformation), \
406 VFWDFEXPORT(WdfUsbTargetDeviceGetDeviceDescriptor), \
407 VFWDFEXPORT(WdfUsbTargetDeviceRetrieveConfigDescriptor), \
408 VFWDFEXPORT(WdfUsbTargetDeviceQueryString), \
409 VFWDFEXPORT(WdfUsbTargetDeviceAllocAndQueryString), \
410 VFWDFEXPORT(WdfUsbTargetDeviceFormatRequestForString), \
411 VFWDFEXPORT(WdfUsbTargetDeviceGetNumInterfaces), \
412 VFWDFEXPORT(WdfUsbTargetDeviceSelectConfig), \
413 VFWDFEXPORT(WdfUsbTargetDeviceWdmGetConfigurationHandle), \
414 VFWDFEXPORT(WdfUsbTargetDeviceRetrieveCurrentFrameNumber), \
415 VFWDFEXPORT(WdfUsbTargetDeviceSendControlTransferSynchronously), \
416 VFWDFEXPORT(WdfUsbTargetDeviceFormatRequestForControlTransfer), \
417 VFWDFEXPORT(WdfUsbTargetDeviceIsConnectedSynchronous), \
418 VFWDFEXPORT(WdfUsbTargetDeviceResetPortSynchronously), \
419 VFWDFEXPORT(WdfUsbTargetDeviceCyclePortSynchronously), \
420 VFWDFEXPORT(WdfUsbTargetDeviceFormatRequestForCyclePort), \
421 VFWDFEXPORT(WdfUsbTargetDeviceSendUrbSynchronously), \
422 VFWDFEXPORT(WdfUsbTargetDeviceFormatRequestForUrb), \
423 VFWDFEXPORT(WdfUsbTargetDeviceQueryUsbCapability), \
424 VFWDFEXPORT(WdfUsbTargetDeviceCreateUrb), \
425 VFWDFEXPORT(WdfUsbTargetDeviceCreateIsochUrb), \
426 VFWDFEXPORT(WdfUsbTargetPipeGetInformation), \
427 VFWDFEXPORT(WdfUsbTargetPipeIsInEndpoint), \
428 VFWDFEXPORT(WdfUsbTargetPipeIsOutEndpoint), \
429 VFWDFEXPORT(WdfUsbTargetPipeGetType), \
430 VFWDFEXPORT(WdfUsbTargetPipeSetNoMaximumPacketSizeCheck), \
431 VFWDFEXPORT(WdfUsbTargetPipeWriteSynchronously), \
432 VFWDFEXPORT(WdfUsbTargetPipeFormatRequestForWrite), \
433 VFWDFEXPORT(WdfUsbTargetPipeReadSynchronously), \
434 VFWDFEXPORT(WdfUsbTargetPipeFormatRequestForRead), \
435 VFWDFEXPORT(WdfUsbTargetPipeConfigContinuousReader), \
436 VFWDFEXPORT(WdfUsbTargetPipeAbortSynchronously), \
437 VFWDFEXPORT(WdfUsbTargetPipeFormatRequestForAbort), \
438 VFWDFEXPORT(WdfUsbTargetPipeResetSynchronously), \
439 VFWDFEXPORT(WdfUsbTargetPipeFormatRequestForReset), \
440 VFWDFEXPORT(WdfUsbTargetPipeSendUrbSynchronously), \
441 VFWDFEXPORT(WdfUsbTargetPipeFormatRequestForUrb), \
442 VFWDFEXPORT(WdfUsbInterfaceGetInterfaceNumber), \
443 VFWDFEXPORT(WdfUsbInterfaceGetNumEndpoints), \
444 VFWDFEXPORT(WdfUsbInterfaceGetDescriptor), \
445 VFWDFEXPORT(WdfUsbInterfaceGetNumSettings), \
446 VFWDFEXPORT(WdfUsbInterfaceSelectSetting), \
447 VFWDFEXPORT(WdfUsbInterfaceGetEndpointInformation), \
448 VFWDFEXPORT(WdfUsbTargetDeviceGetInterface), \
449 VFWDFEXPORT(WdfUsbInterfaceGetConfiguredSettingIndex), \
450 VFWDFEXPORT(WdfUsbInterfaceGetNumConfiguredPipes), \
451 VFWDFEXPORT(WdfUsbInterfaceGetConfiguredPipe), \
452 VFWDFEXPORT(WdfUsbTargetPipeWdmGetPipeHandle), \
453 VFWDFEXPORT(WdfVerifierDbgBreakPoint), \
454 VFWDFEXPORT(WdfVerifierKeBugCheck), \
455 VFWDFEXPORT(WdfGetTriageInfo), \
456 VFWDFEXPORT(WdfWmiProviderCreate), \
457 VFWDFEXPORT(WdfWmiProviderGetDevice), \
458 VFWDFEXPORT(WdfWmiProviderIsEnabled), \
459 VFWDFEXPORT(WdfWmiProviderGetTracingHandle), \
460 VFWDFEXPORT(WdfWmiInstanceCreate), \
461 VFWDFEXPORT(WdfWmiInstanceRegister), \
462 VFWDFEXPORT(WdfWmiInstanceDeregister), \
463 VFWDFEXPORT(WdfWmiInstanceGetDevice), \
464 VFWDFEXPORT(WdfWmiInstanceGetProvider), \
465 VFWDFEXPORT(WdfWmiInstanceFireEvent), \
466 VFWDFEXPORT(WdfWorkItemCreate), \
467 VFWDFEXPORT(WdfWorkItemEnqueue), \
468 VFWDFEXPORT(WdfWorkItemGetParentObject), \
469 VFWDFEXPORT(WdfWorkItemFlush), \
529VFWDFEXPORT(WdfChildListRetrieveAddressDescription)(
629VFWDFEXPORT(WdfChildListAddOrUpdateChildDescriptionAsPresent)(
648VFWDFEXPORT(WdfChildListUpdateChildDescriptionAsMissing)(
664VFWDFEXPORT(WdfChildListUpdateAllChildDescriptionsAsPresent)(
864VFWDFEXPORT(WdfCommonBufferGetAlignedVirtualAddress)(
878VFWDFEXPORT(WdfCommonBufferGetAlignedLogicalAddress)(
923VFWDFEXPORT(WdfControlDeviceInitSetShutdownNotification)(
971VFWDFEXPORT(WdfCxDeviceInitAssignWdmIrpPreprocessCallback)(
994VFWDFEXPORT(WdfCxDeviceInitSetIoInCallerContextCallback)(
1213VFWDFEXPORT(WdfDeviceAddDependentUsageDeviceObject)(
1229VFWDFEXPORT(WdfDeviceRemoveDependentUsageDeviceObject)(
1246VFWDFEXPORT(WdfDeviceAddRemovalRelationsPhysicalDevice)(
1262VFWDFEXPORT(WdfDeviceRemoveRemovalRelationsPhysicalDevice)(
1278VFWDFEXPORT(WdfDeviceClearRemovalRelationsDevices)(
1568VFWDFEXPORT(WdfDeviceInitSetPnpPowerEventCallbacks)(
1584VFWDFEXPORT(WdfDeviceInitSetPowerPolicyEventCallbacks)(
1617VFWDFEXPORT(WdfDeviceInitRegisterPnpStateChangeCallback)(
1638VFWDFEXPORT(WdfDeviceInitRegisterPowerStateChangeCallback)(
1659VFWDFEXPORT(WdfDeviceInitRegisterPowerPolicyStateChangeCallback)(
1872VFWDFEXPORT(WdfDeviceInitAssignWdmIrpPreprocessCallback)(
1889#pragma prefast(suppress: __WARNING_INVALID_PARAM_VALUE_3,"This is a verifier DDI hook routine. It just passes the caller parameters to original routine")
1896VFWDFEXPORT(WdfDeviceInitSetIoInCallerContextCallback)(
2021VFWDFEXPORT(WdfDeviceRetrieveDeviceInterfaceString)(
2137VFWDFEXPORT(WdfDeviceSetBusInformationForChildren)(
2330VFWDFEXPORT(WdfDeviceConfigureWdmIrpDispatchCallback)(
2367VFWDFEXPORT(WdfDeviceWdmAssignPowerFrameworkSettings)(
2383VFWDFEXPORT(WdfDeviceInitSetReleaseHardwareOrderOnFailure)(
2571VFWDFEXPORT(WdfDmaEnablerGetMaximumScatterGatherElements)(
2585VFWDFEXPORT(WdfDmaEnablerSetMaximumScatterGatherElements)(
2592 size_t MaximumFragments
2680VFWDFEXPORT(WdfDmaTransactionInitializeUsingOffset)(
2706VFWDFEXPORT(WdfDmaTransactionInitializeUsingRequest)(
2774VFWDFEXPORT(WdfDmaTransactionDmaCompletedWithLength)(
2854VFWDFEXPORT(WdfDmaTransactionGetCurrentDmaTransferLength)(
2900VFWDFEXPORT(WdfDmaTransactionSetChannelConfigurationCallback)(
2918VFWDFEXPORT(WdfDmaTransactionSetTransferCompleteCallback)(
2936VFWDFEXPORT(WdfDmaTransactionSetImmediateExecution)(
2974VFWDFEXPORT(WdfDmaTransactionSetDeviceAddressOffset)(
3018VFWDFEXPORT(WdfDmaTransactionWdmGetTransferContext)(
3502VFWDFEXPORT(WdfFdoLockStaticChildListForIteration)(
3535VFWDFEXPORT(WdfFdoUnlockStaticChildListFromIteration)(
3997VFWDFEXPORT(WdfIoQueueRetrieveRequestByFileObject)(