Compartir a través de

Función WdfVerifierKeBugCheck (wdfverifier.h)

  • Artículo

[Se aplica a KMDF y UMDF]

La función WdfVerifierKeBugCheck crea una comprobación de errores.

Sintaxis

void WdfVerifierKeBugCheck(
  [in] ULONG     BugCheckCode,
  [in] ULONG_PTR BugCheckParameter1,
  [in] ULONG_PTR BugCheckParameter2,
  [in] ULONG_PTR BugCheckParameter3,
  [in] ULONG_PTR BugCheckParameter4
);

Parámetros

[in] BugCheckCode

Uno de los códigos de comprobación de errores que se definen en Bugcodes.h.

[in] BugCheckParameter1

Para obtener información sobre este parámetro, consulte la descripción del código de comprobación de errores especificado.

[in] BugCheckParameter2

Para obtener información sobre este parámetro, consulte la descripción del código de comprobación de errores especificado.

[in] BugCheckParameter3

Para obtener información sobre este parámetro, consulte la descripción del código de comprobación de errores especificado.

[in] BugCheckParameter4

Para obtener información sobre este parámetro, consulte la descripción del código de comprobación de errores especificado.

Valor devuelto

Ninguno

Observaciones

Si el controlador de Kernel-Mode Driver Framework (KMDF) llama a WdfVerifierKeBugCheck, el sistema operativo se detiene y muestra una pantalla azul a menos que se ejecute un depurador. Para obtener más información, vea Introducción a WinDbg: modo kernel.

Si el controlador User-Mode Driver Framework (UMDF) (versión 2.0 o posterior) llama a WdfVerifierKeBugCheck, el marco no usa los parámetros que proporciona el controlador. En este caso, el marco se divide en el depurador si se conecta uno. Si un depurador no está conectado, el marco genera una excepción y el controlador de excepciones umDF predeterminado crea un archivo minivolcado. Para obtener más información sobre las excepciones no controladas en el proceso de host del controlador, consulte Cómo notifican errores de UMDF.

Para obtener más información sobre cómo depurar el controlador, consulte Depuración de controladores WDF.

Ejemplos

En el ejemplo de código siguiente se crea una comprobación de errores que usa el código de comprobación de errores MULTIPLE_IRP_COMPLETE_REQUESTS.

WdfVerifierKeBugCheck(
                      MULTIPLE_IRP_COMPLETE_REQUESTS,
                      (ULONG_PTR) irp,
                      (ULONG_PTR) srb,
                      0,
                      0
                      );

Requisitos

Requisito Valor
de la plataforma de destino de Universal
versión mínima de KMDF 1.0
versión mínima de UMDF 2.0
encabezado de wdfverifier.h (incluya Wdf.h)
biblioteca de Wdf01000.sys (KMDF); WUDFx02000.dll (UMDF)
irQL Cualquier nivel
reglas de cumplimiento de DDI DriverCreate(kmdf)

Consulte también

WdfVerifierDbgBreakPoint