{
  "driverModel": "wdm",
  "relatedDDIs": [
    "KeDeregisterNmiCallback",
    "KeEnterCriticalRegion",
    "KeEnterGuardedRegion",
    "KeLeaveCriticalRegion",
    "KeLeaveGuardedRegion",
    "KeRegisterNmiCallback"
  ],
  "ruleName": "IrqlKeApcLte2"
}