WdfSpinLockRelease, fonction (wdfsync.h)
La méthode WdfSpinLockRelease libère un verrou de rotation spécifié.
Syntaxe
void WdfSpinLockRelease(
WDFSPINLOCK SpinLock
);
Paramètres
SpinLock
Handle d’un objet de verrouillage spin-lock d’infrastructure, obtenu par un appel précédent à WdfSpinLockCreate.
Valeur de retour
None
Remarques
Un bogue case activée se produit si le pilote fournit un handle d’objet non valide.
La méthode WdfSpinLockRelease libère le verrou de rotation qu’un pilote a obtenu en appelant précédemment WdfSpinLockAcquire. WdfSpinLockRelease restaure également l’IRQL du pilote à la valeur qu’il avait avant le pilote appelé WdfSpinLockAcquire.
Pour plus d’informations sur les verrous de rotation, consultez Utilisation de verrous d’infrastructure.
Configuration requise
| Condition requise | Valeur |
|---|---|
| Version KMDF minimale | 1.0 |
| Version UMDF minimale | 2.0 |
| En-tête | wdfsync.h (inclure Wdf.h) |
| Bibliothèque | Wdf01000.sys (KMDF) ; WUDFx02000.dll (UMDF) |
| IRQL | DISPATCH_LEVEL |
| Règles de conformité DDI | DriverCreate(kmdf), KmdfIrql(kmdf), KmdfIrql2(kmdf), KmdfIrqlExplicit(kmdf), ReqSendWhileSpinlock(kmdf), WdfSpinlock(kmdf), WdfSpinlockRelease(kmdf) |