Condividi tramite

Regola PagedCodeAtD0 (kmdf)

  • Articolo

La regola PagedCodeAtD0 specifica che un driver non deve contrassegnare il codice come impaginabile all'interno di funzioni di callback presenti nel percorso del codice di alimentazione.

Quando una funzione è contrassegnata come impaginabile e la sezione del codice viene successivamente impaginata, la funzione genera un errore di pagina, che potrebbe influire sul comportamento di ripresa rapida del computer. Ciò si verifica perché il driver client dovrà attendere fino a quando i driver di sistema possono risolvere l'errore di questa pagina.

Modello di driver: KMDF

Come eseguire il test

In fase di compilazione

Eseguire Static Driver Verifier e specificare la regola PagedCodeAtD0 .

Usa i passaggi descritti di seguito per eseguire un'analisi del codice:
  1. Prepara il codice (usa dichiarazioni di tipo ruolo).
  2. Esegui Driver Verifier statico.
  3. Visualizza e analizza i risultati.

Per altre informazioni, vedere Using Static Driver Verifier to Find Defects in Drivers.For more information, see Using Static Driver Verifier to Find Defects in Drivers.

Si applica a

PAGED_CODE