Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/infiniband/hw/hfi1/msix.c msix_netdev_synchronize_irq() -> hfi1_netdev_ctxt_count()

Type Parameter Key Value
DATA_SOURCE 0 dd $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &hfi1_mutex
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &rdev->wiphy.mtx
HALF_LOCKED2 global &rtnl_mutex

drivers/infiniband/hw/hfi1/chip.c hfi1_netdev_update_rmt() -> hfi1_netdev_ctxt_count()

Type Parameter Key Value
PARAM_VALUE 0 dd 4096-ptr_max
PARAM_VALUE 0 dd->netdev_rx 4096-ptr_max
PARAM_VALUE 0 dd->netdev_rx->num_rx_q 0-u16max
DATA_SOURCE 0 dd $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &device->client_data_rwsem
HALF_LOCKED2 &device->unregistration_lock
HALF_LOCKED2 global &rtnl_mutex