Documented in 1 files:
Defined in 2 files as a member:
Defined in 6 files as a function:
- drivers/block/swim3.c, line 361 (as a function)
- drivers/gpib/lpvo_usb_gpib/lpvo_usb_gpib.c, line 334 (as a function)
- drivers/infiniband/core/addr.c, line 284 (as a function)
- drivers/watchdog/xen_wdt.c, line 40 (as a function)
- tools/testing/selftests/net/lib/gro.c, line 1128 (as a function)
- tools/testing/selftests/net/netfilter/connect_close.c, line 29 (as a function)
Referenced in 139 files:
- drivers/accel/amdxdna/aie2_ctx.c, 3 times
- drivers/block/swim3.c, 5 times
- drivers/clocksource/timer-tegra186.c, line 321
- drivers/gpib/lpvo_usb_gpib/lpvo_usb_gpib.c, 3 times
- drivers/hwmon/ftsteutates.c, line 276
- drivers/hwmon/nct7904.c, line 994
- drivers/hwmon/sch56xx-common.c, line 485
- drivers/infiniband/core/addr.c, 3 times
- drivers/mmc/host/alcor.c, 2 times
- drivers/mmc/host/sdhci-esdhc-mcf.c, line 345
- drivers/mmc/host/sdhci-msm.c, line 2576
- drivers/mmc/host/sdhci-of-bst.c, line 385
- drivers/mmc/host/sdhci-omap.c, line 939
- drivers/mmc/host/sdhci-pci-gli.c, 2 times
- drivers/mmc/host/sdhci-tegra.c, 2 times
- drivers/mmc/host/sdhci.c, 2 times
- drivers/platform/cznic/turris-omnia-mcu-watchdog.c, line 87
- drivers/platform/x86/portwell-ec.c, line 255
- drivers/rtc/rtc-abx80x.c, line 666
- drivers/rtc/rtc-ds1307.c, line 1834
- drivers/rtc/rtc-ds1374.c, line 460
- drivers/rtc/rtc-m41t93.c, line 479
- drivers/rtc/rtc-pcf2127.c, line 550
- drivers/scsi/aacraid/linit.c, 5 times
- drivers/watchdog/advantech_ec_wdt.c, line 142
- drivers/watchdog/airoha_wdt.c, line 123
- drivers/watchdog/apple_wdt.c, line 147
- drivers/watchdog/arm_smc_wdt.c, 2 times
- drivers/watchdog/armada_37xx_wdt.c, line 244
- drivers/watchdog/asm9260_wdt.c, line 194
- drivers/watchdog/aspeed_wdt.c, line 368
- drivers/watchdog/at91sam9_wdt.c, line 261
- drivers/watchdog/atcwdt200_wdt.c, line 408
- drivers/watchdog/bcm47xx_wdt.c, 3 times
- drivers/watchdog/bcm7038_wdt.c, line 126
- drivers/watchdog/bcm_kona_wdt.c, line 250
- drivers/watchdog/booke_wdt.c, line 207
- drivers/watchdog/cadence_wdt.c, line 274
- drivers/watchdog/cgbc_wdt.c, line 162
- drivers/watchdog/cros_ec_wdt.c, line 115
- drivers/watchdog/da9052_wdt.c, line 163
- drivers/watchdog/da9055_wdt.c, line 117
- drivers/watchdog/da9062_wdt.c, line 192
- drivers/watchdog/da9063_wdt.c, line 210
- drivers/watchdog/db8500_wdt.c, line 74
- drivers/watchdog/diag288_wdt.c, line 143
- drivers/watchdog/digicolor_wdt.c, line 100
- drivers/watchdog/dw_wdt.c, line 354
- drivers/watchdog/ebc-c384_wdt.c, line 82
- drivers/watchdog/exar_wdt.c, line 232
- drivers/watchdog/f71808e_wdt.c, line 442
- drivers/watchdog/ftwdt010_wdt.c, line 122
- drivers/watchdog/gunyah_wdt.c, line 163
- drivers/watchdog/gxp-wdt.c, line 103
- drivers/watchdog/hpwdt.c, line 226
- drivers/watchdog/i6300esb.c, line 200
- drivers/watchdog/iTCO_wdt.c, line 445
- drivers/watchdog/ie6xx_wdt.c, line 169
- drivers/watchdog/imgpdc_wdt.c, line 173
- drivers/watchdog/imx2_wdt.c, line 250
- drivers/watchdog/imx7ulp_wdt.c, line 234
- drivers/watchdog/imx_sc_wdt.c, line 168
- drivers/watchdog/intel_oc_wdt.c, line 114
- drivers/watchdog/it87_wdt.c, line 285
- drivers/watchdog/ixp4xx_wdt.c, line 103
- drivers/watchdog/jz4740_wdt.c, line 124
- drivers/watchdog/keembay_wdt.c, line 182
- drivers/watchdog/kempld_wdt.c, line 430
- drivers/watchdog/lenovo_se10_wdt.c, line 152
- drivers/watchdog/loongson1_wdt.c, line 121
- drivers/watchdog/lpc18xx_wdt.c, line 196
- drivers/watchdog/ma35d1_wdt.c, line 176
- drivers/watchdog/marvell_gti_wdt.c, line 244
- drivers/watchdog/max77620_wdt.c, line 153
- drivers/watchdog/mei_wdt.c, line 310
- drivers/watchdog/mena21_wdt.c, line 118
- drivers/watchdog/menf21bmc_wdt.c, line 111
- drivers/watchdog/menz69_wdt.c, line 98
- drivers/watchdog/meson_gxbb_wdt.c, line 113
- drivers/watchdog/meson_wdt.c, line 147
- drivers/watchdog/mlx_wdt.c, 2 times
- drivers/watchdog/moxart_wdt.c, line 83
- drivers/watchdog/msc313e_wdt.c, line 87
- drivers/watchdog/mt7621_wdt.c, line 135
- drivers/watchdog/mtk_wdt.c, line 393
- drivers/watchdog/nct6694_wdt.c, line 230
- drivers/watchdog/ni903x_wdt.c, line 177
- drivers/watchdog/nic7018_wdt.c, line 164
- drivers/watchdog/npcm_wdt.c, line 385
- drivers/watchdog/octeon-wdt-main.c, line 505
- drivers/watchdog/omap_wdt.c, line 224
- drivers/watchdog/pm8916_wdt.c, line 136
- drivers/watchdog/pnx4008_wdt.c, line 170
- drivers/watchdog/qcom-wdt.c, line 158
- drivers/watchdog/rave-sp-wdt.c, line 223
- drivers/watchdog/realtek_otto_wdt.c, line 208
- drivers/watchdog/retu_wdt.c, line 99
- drivers/watchdog/rn5t618_wdt.c, line 138
- drivers/watchdog/rt2880_wdt.c, line 136
- drivers/watchdog/rtd119x_wdt.c, line 84
- drivers/watchdog/rza_wdt.c, line 163
- drivers/watchdog/rzg2l_wdt.c, line 238
- drivers/watchdog/s32g_wdt.c, line 161
- drivers/watchdog/s3c2410_wdt.c, line 650
- drivers/watchdog/sama5d4_wdt.c, line 159
- drivers/watchdog/sbsa_gwdt.c, line 287
- drivers/watchdog/shwdt.c, line 208
- drivers/watchdog/simatic-ipc-wdt.c, line 104
- drivers/watchdog/sl28cpld_wdt.c, line 115
- drivers/watchdog/smsc37b787_wdt.c, 3 times
- drivers/watchdog/sp5100_tco.c, line 515
- drivers/watchdog/sp805_wdt.c, line 226
- drivers/watchdog/sprd_wdt.c, line 251
- drivers/watchdog/st_lpc_wdt.c, line 136
- drivers/watchdog/starfive-wdt.c, line 424
- drivers/watchdog/stm32_iwdg.c, line 267
- drivers/watchdog/stmp3xxx_rtc_wdt.c, line 60
- drivers/watchdog/stpmic1_wdt.c, line 79
- drivers/watchdog/sun4v_wdt.c, line 81
- drivers/watchdog/sunxi_wdt.c, line 207
- drivers/watchdog/tegra_wdt.c, line 178
- drivers/watchdog/tqmx86_wdt.c, line 68
- drivers/watchdog/ts4800_wdt.c, line 99
- drivers/watchdog/ts72xx_wdt.c, line 118
- drivers/watchdog/twl4030_wdt.c, line 55
- drivers/watchdog/txx9wdt.c, line 93
- drivers/watchdog/uniphier_wdt.c, line 179
- drivers/watchdog/via_wdt.c, line 148
- drivers/watchdog/visconti_wdt.c, line 112
- drivers/watchdog/w83627hf_wdt.c, line 328
- drivers/watchdog/watchdog_dev.c, 2 times
- drivers/watchdog/wdat_wdt.c, line 311
- drivers/watchdog/wm831x_wdt.c, line 168
- drivers/watchdog/wm8350_wdt.c, line 129
- drivers/watchdog/xen_wdt.c, 2 times
- drivers/watchdog/ziirave_wdt.c, line 432
- net/netfilter/nf_tables_api.c, 2 times
- tools/testing/selftests/net/lib/gro.c, line 1579
- tools/testing/selftests/net/netfilter/connect_close.c, 2 times
Smatch caller information:
drivers/infiniband/core/addr.c netevent_callback() -> set_timeout()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| UNITS | 1 | time | unit_jiffy |
| LOCK2 | bh | ||
| LOCK2 | global &lock |
drivers/infiniband/core/addr.c process_one_req() -> set_timeout()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | board | 4096-ptr_max |
| PARAM_VALUE | 0 | board->addr | 4096-ptr_max |
| PARAM_VALUE | 0 | board->addr->net | 1-u64max |
| PARAM_VALUE | 0 | board->status | (-61) |
| BUF_SIZE | 0 | board->status | (-1)-0,144,152 |
| CAPPED_DATA | 0 | &board->list | 1 |
| PARAM_COMPARE | 0 | &board->list | != $0->list.next |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| UNITS | 1 | time | unit_jiffy |
| LOCK2 | bh | ||
| LOCK2 | global &lock | ||
| HALF_LOCKED2 | &pool->lock |
drivers/infiniband/core/addr.c queue_req() -> set_timeout()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | board | 4096-ptr_max |
| PARAM_VALUE | 0 | board->addr | 4096-ptr_max |
| PARAM_VALUE | 0 | board->addr->net | 1-u64max |
| PARAM_VALUE | 0 | board->context | 4096-ptr_max |
| PARAM_VALUE | 0 | board->list.next | 6460092329247883264 |
| PARAM_VALUE | 0 | board->list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | board->status | (-61),0 |
| BUF_SIZE | 0 | board | 504 |
| BUF_SIZE | 0 | board->context | (-1),104 |
| BUF_SIZE | 0 | board->status | (-1)-0,144,152 |
| DATA_SOURCE | 0 | board | $0 |
| HARD_MAX | 0 | board->status | 0 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | time | unit_jiffy |
| LOCK2 | bh | ||
| LOCK2 | global &lock |
drivers/watchdog/xen_wdt.c xen_wdt_kick() -> set_timeout()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | board | 4096-ptr_max |
| BUF_SIZE | 0 | board->info | (-1),40 |
| BUF_SIZE | 0 | board->ops | (-1),80 |
| BUF_SIZE | 0 | board->parent | (-1),1616 |
| DATA_SOURCE | 0 | board | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | board->timeout | |
| HALF_LOCKED2 | &wd_data->lock |
drivers/watchdog/xen_wdt.c xen_wdt_start() -> set_timeout()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | board | 4096-ptr_max |
| DATA_SOURCE | 0 | board | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | board->timeout | |
| HALF_LOCKED2 | &wd_data->lock |
drivers/gpib/lpvo_usb_gpib/lpvo_usb_gpib.c usb_gpib_command() -> set_timeout()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | board | 4096-ptr_max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | board->interface | 4096-ptr_max |
| PARAM_VALUE | 0 | board->interface->line_status | 0,4096-ptr_max |
| PARAM_VALUE | 0 | board->private_data->bulk_alloc_lock->first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | board->private_data->bulk_alloc_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | board->private_data->bulk_alloc_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | board->private_data->bulk_alloc_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | board->private_data->bulk_alloc_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | board->private_data->bulk_alloc_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | board->private_data->bulk_timer.flags | 0-4294967295 |
| PARAM_VALUE | 0 | board->private_data->bulk_transfer_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | board->private_data->bulk_transfer_lock.osq.tail.counter | s32min-s32max |
| PARAM_VALUE | 0 | board->private_data->bulk_urb->dev->dev.kobj.release.timer.is_hard | 0-1 |
| PARAM_VALUE | 0 | board->private_data->bulk_urb->dev->dev.kobj.release.timer.is_lazy | 0-1 |
| PARAM_VALUE | 0 | board->private_data->bulk_urb->dev->dev.kobj.release.timer.is_queued | 0-1 |
| PARAM_VALUE | 0 | board->private_data->bulk_urb->dev->dev.kobj.release.timer.is_soft | 0-1 |
| PARAM_VALUE | 0 | board->private_data->bulk_urb->setup_packet*board) | 0-255 |
| PARAM_VALUE | 0 | board->private_data->bulk_urb->sg->dma_flags | 0-4294967295 |
| PARAM_VALUE | 0 | board->private_data->bulk_urb->sg->dma_length | 0-4294967295 |
| PARAM_VALUE | 0 | board->private_data->bulk_urb->sg->length | 0-4294967295 |
| PARAM_VALUE | 0 | board->private_data->bulk_urb->sg->offset | 0-4294967295 |
| PARAM_VALUE | 0 | board->private_data->bulk_urb->transfer_buffer*board) | 0-255 |
| PARAM_VALUE | 0 | board->private_data->bulk_urb->transfer_buffer->_refcount.counter | s32min-s32max |
| PARAM_VALUE | 0 | board->private_data->bulk_urb->transfer_buffer->bDeviceProtocol | 1 |
| PARAM_VALUE | 0 | board->private_data->bulk_urb->transfer_buffer->page_type | 0-4294967295 |
| PARAM_VALUE | 0 | board->private_data->context.complete.done | 0-4294967293,4294967295 |
| PARAM_VALUE | 0 | board->private_data->context.complete.wait.lock.magic | 0-4294967295 |
| PARAM_VALUE | 0 | board->private_data->context.complete.wait.lock.owner_cpu | 0-4294967295 |
| PARAM_VALUE | 0 | board->private_data->context.timed_out | 0 |
| PARAM_VALUE | 0 | board->private_data->control_transfer_lock->first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | board->private_data->control_transfer_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->private_data->control_transfer_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | board->private_data->control_transfer_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | board->private_data->control_transfer_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | board->private_data->control_transfer_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | board->private_data->control_transfer_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | board->private_data->monitored_ibsta_bits | 0-4294967295 |
| PARAM_VALUE | 0 | board->private_data->nec7210_priv.listener_state | 0-2 |
| PARAM_VALUE | 0 | board->private_data->nec7210_priv.register_page_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->private_data->nec7210_priv.talker_state | 0-3 |
| PARAM_VALUE | 0 | board->private_data->tms9914_priv.listener_state | 0-2 |
| PARAM_VALUE | 0 | board->private_data->tms9914_priv.talker_state | 0-2 |
| PARAM_VALUE | 0 | board->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | *board->private_data->bulk_urb->context | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *board->private_data->bulk_urb->transfer_buffer | (-4611686018427387904)-4611686018427387903 |
| BUF_SIZE | 0 | board | (-1),128 |
| BUF_SIZE | 0 | board | (-1),128 |
| DATA_SOURCE | 0 | board | $0 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | board->status | 0-4294967319[c][u] |
| USER_DATA | 0 | *board->buffer | 0-255 |
| USER_PTR | 0 | board->buffer | |
| HALF_LOCKED2 | 0 | &board->big_gpib_mutex | |
| HALF_LOCKED2 | 0 | &board->user_mutex |
drivers/gpib/lpvo_usb_gpib/lpvo_usb_gpib.c usb_gpib_read() -> set_timeout()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | board | 4096-ptr_max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | board->interface | 4096-ptr_max |
| BUF_SIZE | 0 | board | (-1),128 |
| BUF_SIZE | 0 | board | (-1),128 |
| DATA_SOURCE | 0 | board | $0 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | 0 | &board->big_gpib_mutex | |
| HALF_LOCKED2 | 0 | &board->user_mutex |
drivers/gpib/lpvo_usb_gpib/lpvo_usb_gpib.c usb_gpib_write() -> set_timeout()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | board | 4096-ptr_max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->interface | 4096-ptr_max |
| PARAM_VALUE | 0 | board->locking_pid_spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->online | 1-u32max |
| CAPPED_DATA | 0 | board->locking_pid | 1 |
| DATA_SOURCE | 0 | board | $0 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | board->status | 0-4294967321[c][u] |
| USER_DATA | 0 | *board->buffer | 0-255 |
| USER_PTR | 0 | board->buffer |