|  | ; | 
|  | ; Definition file of VERIFIER.dll | 
|  | ; Automatic generated by gendef | 
|  | ; written by Kai Tietz 2008-2014 | 
|  | ; | 
|  | LIBRARY "VERIFIER.dll" | 
|  | EXPORTS | 
|  | AVrfAPILookupCallback | 
|  | VerifierAddFreeMemoryCallback | 
|  | VerifierCheckPageHeapAllocation | 
|  | VerifierCreateRpcPageHeap | 
|  | VerifierDeleteFreeMemoryCallback | 
|  | VerifierDestroyRpcPageHeap | 
|  | VerifierDisableFaultInjectionExclusionRange | 
|  | VerifierDisableFaultInjectionTargetRange | 
|  | VerifierEnableFaultInjectionExclusionRange | 
|  | VerifierEnableFaultInjectionTargetRange | 
|  | VerifierEnumerateResource | 
|  | VerifierForceNormalHeap | 
|  | VerifierGetInfoForException | 
|  | VerifierGetMemoryForDump | 
|  | VerifierGetPropertyValueByName | 
|  | VerifierGetProviderHelper | 
|  | VerifierIsAddressInAnyPageHeap | 
|  | VerifierIsCurrentThreadHoldingLocks | 
|  | VerifierIsDllEntryActive | 
|  | VerifierIsPerUserSettingsEnabled | 
|  | VerifierQueryRuntimeFlags | 
|  | VerifierRedirectStopFunctions | 
|  | VerifierSetFaultInjectionProbability | 
|  | VerifierSetFlags | 
|  | VerifierSetRuntimeFlags | 
|  | VerifierStopMessage |