Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 16 files:

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