{
  "driverModel": "ndis",
  "relatedDDIs": [
    "KeAcquireGuardedMutex",
    "KeAcquireGuardedMutexUnsafe",
    "KeDelayExecutionThread",
    "KeQueryActiveProcessors",
    "KeReleaseGuardedMutex",
    "KeReleaseGuardedMutexUnsafe",
    "KeTryToAcquireGuardedMutex"
  ],
  "ruleName": "IrqlKeApcLte1"
}