{
  "driverModel": "wdm",
  "relatedDDIs": [
    "KeAcquireSpinLock",
    "KeAcquireSpinLockRaiseToDpc",
    "KefAcquireSpinLockAtDpcLevel",
    "KefReleaseSpinLockFromDpcLevel",
    "KeReleaseSpinLock",
    "KeTryToAcquireSpinLockAtDpcLevel",
    "KeTryToAcquireSpinLockAtDpcLevel@XDV"
  ],
  "ruleName": "SpinLock"
}