Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/usb/class/usbtmc.c usbtmc_do_transfer() -> usb_anchor_empty()

Type Parameter Key Value
PARAM_VALUE 0 anchor 4096-ptr_max
PREEMPT_ADD <- disables preempt
TASK_NOT_RUNNING
LOCK2 &data->io_mutex
LOCK2 &file_data->err_lock
LOCK2 irq
TYPE_LOCK (struct usbtmc_device_data)->io_mutex
TYPE_LOCK (struct usbtmc_file_data)->err_lock

drivers/usb/class/usbtmc.c usbtmc_generic_read() -> usb_anchor_empty()

Type Parameter Key Value
PARAM_VALUE 0 anchor 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 &data->io_mutex
LOCK2 &file_data->err_lock
LOCK2 irq
TYPE_LOCK (struct usbtmc_device_data)->io_mutex
TYPE_LOCK (struct usbtmc_file_data)->err_lock

drivers/usb/class/usbtmc.c usbtmc_poll() -> usb_anchor_empty()

Type Parameter Key Value
PARAM_VALUE 0 anchor 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &data->io_mutex
HALF_LOCKED2 &kvm->irq_srcu
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &vm->irqfds_lock
HALF_LOCKED2 global &irqfds_srcu
TYPE_LOCK (struct usbtmc_device_data)->io_mutex

drivers/usb/class/usbtmc.c usbtmc_poll() -> usb_anchor_empty()

Type Parameter Key Value
PARAM_VALUE 0 anchor 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &data->io_mutex
HALF_LOCKED2 &kvm->irq_srcu
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &vm->irqfds_lock
HALF_LOCKED2 global &irqfds_srcu
TYPE_LOCK (struct usbtmc_device_data)->io_mutex

drivers/usb/class/usbtmc.c usbtmc_write_bulk_cb() -> usb_anchor_empty()

Type Parameter Key Value
PARAM_VALUE 0 anchor 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

drivers/net/wireless/zydas/zd1211rw/zd_usb.c zd_usb_iowrite16v_async_start() -> usb_anchor_empty()

Type Parameter Key Value
PARAM_VALUE 0 anchor 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &chip->mutex
TYPE_LOCK (struct zd_chip)->mutex

drivers/net/wireless/marvell/libertas/if_usb.c usb_tx_block() -> usb_anchor_empty()

Type Parameter Key Value
PARAM_VALUE 0 anchor 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING