/*++

    Copyright (c) Microsoft Corporation.  All rights reserved.

Rule Name:

    PureKmdfDriver

Domain:

    wdf

Rule ID:

    Not Applicable

Description:

 
    This property is satisfied if the KMDF driver escapes to WDM.


    This property checks that this is a pure KMDF driver:DDIs
    WdfWdmDeviceGetWdfDeviceHandle,WdfDeviceWdmGetDeviceObject,
        WdfDeviceWdmGetAttachedDevice,WdfDeviceWdmGetPhysicalDevice,WdfDeviceWdmDispatchPreprocessedIrp,
        WdfDpcWdmGetDpc,WdfDriverWdmGetDriverObject,WdfWdmDriverGetWdfDriverHandle,WdfFdoInitWdmGetPhysicalDevice,
        WdfFileObjectWdmGetFileObject,WdfInterruptWdmGetInterrupt,WdfIoTargetWdmGetTargetDeviceObject,
        WdfIoTargetWdmGetTargetPhysicalDevice,WdfIoTargetWdmGetTargetFileObject,WdfIoTargetWdmGetTargetFileHandle,
        WdfRegistryWdmGetHandle,WdfRequestWdmFormatUsingStackLocation,WdfRequestRetrieveInputWdmMdl,
        WdfRequestRetrieveOutputWdmMdl,WdfRequestWdmGetIrp,WdfDmaEnablerWdmGetDmaAdapter,IoRegisterPlugPlayNotification and the callback 
        WdfDeviceInitAssignWdmIrpPreprocessCallback.

Help Link:

    https://go.microsoft.com/fwlink/?LinkId=507476

--*/




#include "slic_base.h"


       [sdv_WdfWdmDeviceGetWdfDeviceHandle,
        sdv_WdfDeviceWdmGetDeviceObject,
        sdv_WdfDeviceWdmGetAttachedDevice,
        sdv_WdfDeviceWdmDispatchPreprocessedIrp,
        sdv_WdfDpcWdmGetDpc,
        sdv_WdfWdmDriverGetWdfDriverHandle,
        sdv_WdfFileObjectWdmGetFileObject,
        sdv_WdfInterruptWdmGetInterrupt,
        sdv_WdfIoTargetWdmGetTargetDeviceObject,
        sdv_WdfIoTargetWdmGetTargetPhysicalDevice,
        sdv_WdfIoTargetWdmGetTargetFileObject,
        sdv_WdfIoTargetWdmGetTargetFileHandle,
        sdv_WdfRegistryWdmGetHandle,
        sdv_WdfRequestWdmFormatUsingStackLocation,
        sdv_WdfRequestWdmGetIrp,
        sdv_WdfDmaEnablerWdmGetDmaAdapter,
        NdisRequest,
        NdisRegisterProtocolDriver,
        IoRegisterPlugPlayNotification
       ].entry
       {
           abort "This property is satisfied as the KMDF driver escapes to WDM.";
       }
