{
  "driverModel": "ndis",
  "relatedDDIs": [
    "NdisAllocateTimerObject",
    "NdisCancelTimerObject",
    "NdisFreeTimerObject",
    "NdisSetTimerObject"
  ],
  "ruleName": "Irql_Timer_Function"
}