{
  "driverModel": "wdm",
  "relatedDDIs": [
    "FsRtlAcquireFileExclusive",
    "FsRtlPrivateLock",
    "FsRtlReleaseFile",
    "KeAcquireQueuedSpinLock",
    "KeReleaseMutant",
    "KeReleaseQueuedSpinLock",
    "KeTryToAcquireQueuedSpinLock"
  ],
  "ruleName": "ReservedDDIs"
}