règle Irql_Miniport_Driver_Function (ndis)
La règle de Irql_Miniport_Driver_Function spécifie que les fonctions NDIS pour les pilotes miniport doivent être appelées à des niveaux IRQL corrects.
Cette règle vérifie les fonctions pour la journalisation du pilote miniport NDIS, les ports NDIS et l’interface NDIS DMA.
NdisMCreateLogNdisMDeregisterDmaChannelNdisMDeregisterIoPortRangeNdisMDeregisterMiniportDriverNdisMFlushLogNdisMFreePortNdisMFreeSharedMemoryNdisMGetDevicePropndisMGetDmaAlignmentNdisMMapIoSpaceNdisMPauseCompleteNdisMQueryAdapterInstanceNameNdisMReadDmaCounterNdisMRegisterDmaChannelNdisMRegisterIoPortRangeRangeNdisMRegisterMiniportDriverNdisMRemoveMiniportNdisMResetCompleteNdisMRestartCompleteNdisMSetMiniportAttributesNdisMSetupDmaTransferNdisMSleepNdisMUnmapIoSpaceNdisMUpdateSharedMemoryNdisMWriteLogData
Modèle de pilote : NDIS
Comment tester
Au moment de la compilation |
---|
Exécutez Static Driver Verifier et spécifiez la règle de Irql_Miniport_Driver_Function . Utilisez les étapes suivantes pour exécuter l’analyse de votre code :
Pour plus d’informations, consultez Utilisation du vérificateur de pilote statique pour rechercher des défauts dans les pilotes. |
S’applique à
NdisMCreateLogNdisMDeregisterDmaChannelNdisMDeregisterIoPortRangeNdisMDeregisterMiniportDriverNdisMFlushLogNdisMFreePortNdisMFreeSharedMemoryNdisMGetDevicePropertyNdisMGetDmaAlignmentNdisMMapIoSpaceNdisMPauseCompleteNdisMQueryAdapterInstanceNameNdisMReadDmaCounterNdisMRegisterDmaChannelNdisMRegisterIoPortRangeNdisMRegisterMiniportDriverNdisMRemoveMiniportNdisMResetCompleteNdisMRestartCompleteNdisMSetMiniportAttributesNdisMSetupDmaTransferNdisMSleepNdisMUnmapIoSpaceNdisMWriteLogData