{
  "driverModel": "wdf",
  "relatedDDIs": [
    "KeAcquireSpinLock",
    "KeReleaseSpinLock",
    "WdfRequestSend",
    "WdfSpinLockAcquire",
    "WdfSpinLockRelease"
  ],
  "ruleName": "ReqSendWhileSpinlock"
}