Declaraciones de función KMDF del comprobador de controladores estáticos

Para habilitar SDV para comprobar el controlador KMDF, debe declarar cada función de devolución de llamada mediante un tipo de rol de función de devolución de llamada. Los tipos de rol de función de devolución de llamada se definen en los distintos archivos de encabezado WDF y se incluyen al compilar el controlador con el archivo de encabezado Wdf.h. En la tabla siguiente se muestran los tipos de rol de función y las funciones de devolución de llamada de eventos a las que están asociados.

Debe declarar las funciones de devolución de llamada del controlador antes de las definiciones de función de devolución de llamada. En el ejemplo siguiente se muestra la declaración de tipo de rol de función para la función de devolución de llamada EvtDriverDeviceAdd . En este ejemplo, la función de devolución de llamada se denomina EvtDriverDeviceAdd.

#include <NTDDK.h>  
#include <wdf.h>
EVT_WDF_DRIVER_DEVICE_ADD EvtDriverDeviceAdd

Si una función de devolución de llamada tiene una declaración de prototipo de función, debe reemplazar el prototipo de función por la declaración de tipo de rol de función. Para obtener más información sobre las declaraciones de tipo de rol de función, vea Using Function Role Type Declarations.

En la tabla siguiente se muestran los tipos de función de devolución de llamada y las funciones de devolución de llamada de eventos a las que están asociados.

Tipos de roles de función que permiten varias funciones de devolución de llamada

Hay algunos tipos de roles de función que pueden tener varias funciones de devolución de llamada de eventos asociadas. Por ejemplo, un controlador puede tener varias funciones de devolución de llamada EvtTimerFunc o EvtDpcFunc . En la tabla siguiente se muestra el número máximo de devoluciones de llamada compatibles con SDV para cada tipo de rol de función. Aunque no es incorrecto que un controlador tenga más del número máximo de funciones de devolución de llamada enumeradas en la tabla, complica el proceso de comprobación al usar SDV. Para obtener información sobre los cambios que es posible que tenga que realizar en el archivo Sdv-map.h para dar cabida a las funciones de devolución de llamada adicionales, consulte Duplicate entry points for a function role type (Puntos de entrada duplicados para un tipo de rol de función).

Tipos de roles de función y colas de E/S

Use los siguientes tipos de rol de función al declarar los controladores de solicitudes y las funciones de devolución de llamada que dependen del marco de KMDF para entregar las solicitudes de E/S al controlador (para el envío secuencial o paralelo). No use estos tipos de roles de función para las funciones que reenvía manualmente las solicitudes de la cola predeterminada a otras colas (distribución manual). SDV no admite un modelo de memoria que le permita realizar un seguimiento de las solicitudes de una cola a otra.

Para obtener más información sobre las colas de E/S, consulte Creación de colas de E/S.

Tipos de roles de función para las funciones EvtCleanupCallback y EvtDestroyCallback

Debe declarar la función EvtCleanupCallback y EvtDestroyCallback con tipos de roles de función específicos del objeto. SDV requiere estos tipos de roles específicos del objeto para determinar si el controlador usa correctamente la función de devolución de llamada. Use las tablas siguientes para determinar qué tipo de función se va a usar.