Code detecteren die paginabaar kan zijn

Als u code wilt detecteren die wordt uitgevoerd op IRQL >= DISPATCH_LEVEL, gebruikt u de macro PAGED_CODE. In de foutopsporingsmodus genereert deze macro een bericht als de code wordt uitgevoerd op IRQL >= DISPATCH_LEVEL. Voeg de macro toe als de eerste instructie in een routine om de hele routine als gepaginade code te markeren, zoals in het volgende voorbeeld wordt weergegeven:

NTSTATUS 
MyDriverXxx( 
    IN OUT PVOID ParseContext OPTIONAL, 
    OUT PHANDLE Handle 
    ) 
{ 
    NTSTATUS Status; 
 
    PAGED_CODE(); 
. 
. 
. 
} 

Als u er zeker van wilt zijn dat u dit correct doet, voert u de Driver Verifier - uit op uw voltooide stuurprogramma met de optie Forceer IRQL-controle ingeschakeld. Met deze optie zorgt het systeem ervoor dat alle pagineerbare code automatisch wordt uitgepagineerd telkens wanneer het stuurprogramma de IRQL verhoogt naar DISPATCH_LEVEL of hoger. Met behulp van de Driver Verifier kunt u snel eventuele stuurprogrammafouten in dit gebied vinden. Anders worden deze bugs meestal alleen gevonden door klanten en kunnen ze vaak erg moeilijk voor u zijn om te reproduceren.