{
  "driverModel": "ndis",
  "relatedDDIs": [
    "NdisAcquireSpinLock",
    "NdisAllocateSpinLock",
    "NdisDprAcquireSpinLock",
    "NdisDprReleaseSpinLock",
    "NdisReleaseSpinLock"
  ],
  "ruleName": "SpinLockDprRelease"
}