Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 16 files:
- arch/arm/mach-versatile/spc.c
- drivers/acpi/osl.c, line 1300
- drivers/char/ipmi/ipmi_ipmb.c, line 343
- drivers/firmware/tegra/bpmp.c, line 291
- drivers/firmware/ti_sci.c, line 338
- drivers/infiniband/core/iwpm_util.c, line 372
- drivers/net/ethernet/broadcom/bnx2x/bnx2x_main.c, line 14161
- drivers/net/ethernet/broadcom/bnx2x/bnx2x_stats.c
- drivers/net/ethernet/mellanox/mlx5/core/cmd.c, line 998
- drivers/usb/class/usbtmc.c, line 1173
- drivers/video/fbdev/smscufx.c, line 1905
- drivers/video/fbdev/udlfb.c, line 1945
- kernel/locking/semaphore.c, line 211
- kernel/module/kmod.c, line 159
- sound/soc/codecs/nau8824.c, line 211
- sound/soc/codecs/nau8825.c, line 246
Smatch caller information:
drivers/net/ethernet/broadcom/bnx2x/bnx2x_main.c bnx2x_eeh_nic_unload() -> down_timeout()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sem | 4096-ptr_max |
| PARAM_VALUE | 1 | timeout | 25 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | global &rtnl_mutex | ||
| HALF_LOCKED2 | &pdev->dev.mutex |
drivers/usb/class/usbtmc.c usbtmc_generic_write() -> down_timeout()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sem | 4096-ptr_max |
| PARAM_VALUE | 1 | timeout | 0-536870912,4611686018427387902 |
| DATA_SOURCE | 1 | timeout | r msecs_to_jiffies |
| LOCK2 | &data->io_mutex | ||
| HALF_LOCKED2 | &file_data->limit_write_sem | ||
| TYPE_LOCK | (struct usbtmc_device_data)->io_mutex |
drivers/net/ethernet/mellanox/mlx5/core/cmd.c cmd_work_handler() -> down_timeout()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sem | 4096-ptr_max |
| PARAM_VALUE | 1 | timeout | 0-536870912,4611686018427387902 |
| DATA_SOURCE | 1 | timeout | r msecs_to_jiffies |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/char/ipmi/ipmi_ipmb.c ipmi_ipmb_thread() -> down_timeout()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sem | 4096-ptr_max |
| PARAM_VALUE | 1 | timeout | 0-536870912,4611686018427387902 |
| LOCK2 | &iidev->wake_thread | ||
| HALF_LOCKED2 | &iidev->got_rsp | ||
| TYPE_LOCK | (struct ipmi_ipmb_dev)->wake_thread |
sound/soc/codecs/nau8824.c nau8824_sema_acquire() -> down_timeout()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sem | 4096-ptr_max |
| PARAM_VALUE | 1 | timeout | 250 |
| DATA_SOURCE | 1 | timeout | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/acpi/osl.c acpi_os_wait_semaphore() -> down_timeout()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sem | 1-u64max |
| PARAM_VALUE | 1 | timeout | 0-536870912,s64max |
| DATA_SOURCE | 0 | sem | $0 |
| FUZZY_MAX | 1 | timeout | s64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | timeout | unit_jiffy |
drivers/video/fbdev/udlfb.c dlfb_get_urb() -> down_timeout()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sem | 4096-ptr_max |
| PARAM_VALUE | 1 | timeout | 250 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dlfb->render_mutex | ||
| HALF_LOCKED2 | &dlfb->urbs.limit_sem | ||
| HALF_LOCKED2 | &fbdefio_state->lock |
kernel/module/kmod.c __request_module() -> down_timeout()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sem | 1974670029591621632 |
| PARAM_VALUE | 1 | timeout | 1250 |
drivers/net/ethernet/broadcom/bnx2x/bnx2x_stats.c bnx2x_stats_handle() -> down_timeout()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sem | 4096-ptr_max |
| PARAM_VALUE | 0 | sem->count | 0,2147483648-u32max |
| PARAM_VALUE | 0 | sem->lock.owner | (-1) |
| PARAM_VALUE | 0 | sem->lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | timeout | 25 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | sem->count | 0,2147483648-u32max |
| HOST_DATA | 0 | sem->last_holder | 0-u64max |
| HALF_LOCKED2 | &bp->port.phy_mutex |
drivers/net/ethernet/broadcom/bnx2x/bnx2x_stats.c bnx2x_stats_safe_exec() -> down_timeout()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sem | 4096-ptr_max |
| PARAM_VALUE | 1 | timeout | 25 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | sem->last_holder | 0 |
| HOST_DATA | 0 | sem->lock.magic | 0-u32max |
| HOST_DATA | 0 | sem->lock.raw_lock.locked | 0-255 |
| HOST_DATA | 0 | sem->lock.raw_lock.locked_pending | 0-u16max |
| HOST_DATA | 0 | sem->lock.raw_lock.pending | 0-255 |
| HOST_DATA | 0 | sem->lock.raw_lock.tail | 0-u16max |
| HOST_DATA | 0 | sem->lock.raw_lock.val.counter | s32min-s32max |
| LOCK2 | &vf->op_mutex | ||
| TYPE_LOCK | (struct bnx2x_virtf)->op_mutex |
drivers/infiniband/core/iwpm_util.c iwpm_wait_complete_req() -> down_timeout()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sem | 4096-ptr_max |
| PARAM_VALUE | 0 | sem->lock.owner | (-1) |
| PARAM_VALUE | 0 | sem->lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | timeout | 2500 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
sound/soc/codecs/nau8825.c nau8825_sema_acquire() -> down_timeout()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sem | 4096-ptr_max |
| PARAM_VALUE | 1 | timeout | 750 |
| DATA_SOURCE | 1 | timeout | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/firmware/ti_sci.c ti_sci_get_one_xfer() -> down_timeout()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sem | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &control->lock |
drivers/video/fbdev/smscufx.c ufx_get_urb() -> down_timeout()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sem | 4096-ptr_max |
| PARAM_VALUE | 1 | timeout | 250 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &fbdefio_state->lock | ||
| HALF_LOCKED2 | &info->lock |