{
  "driverModel": "wdm",
  "relatedDDIs": [
    "KeAcquireInStackQueuedSpinLock",
    "KeAcquireInStackQueuedSpinLockAtDpcLevel@XDV",
    "KeReleaseInStackQueuedSpinLock",
    "KeReleaseInStackQueuedSpinLockFromDpcLevel@XDV"
  ],
  "ruleName": "QueuedSpinLock"
}