Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/net/netkit.c netkit_check_lease_unregister() -> __netif_get_rx_queue_lease()

Type Parameter Key Value
PARAM_VALUE 0 dev 2281554965348278272
PARAM_VALUE 0 *dev 4096-ptr_max
PARAM_VALUE 1 rxq_idx 7512219944090804224
PARAM_VALUE 2 dir 1

net/core/netdev_rx_queue.c netif_mp_close_rxq() -> __netif_get_rx_queue_lease()

Type Parameter Key Value
PARAM_VALUE 0 *dev 4096-ptr_max
PARAM_VALUE 1 *rxq_idx 0-4294967294
PARAM_VALUE 2 dir 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *rxq_idx 0-s32max[c]
USER_PTR 1 rxq_idx
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &priv->lock
HALF_LOCKED2 _T->lock

net/core/netdev_rx_queue.c netif_mp_open_rxq() -> __netif_get_rx_queue_lease()

Type Parameter Key Value
PARAM_VALUE 0 *dev 4096-ptr_max
PARAM_VALUE 1 *rxq_idx 0-4294967294
PARAM_VALUE 2 dir 0
NOSPEC 1 *rxq_idx
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *rxq_idx 0-s32max[c]
USER_PTR 1 rxq_idx
LOCK2 &dev->lock
HALF_LOCKED2 &ctx->uring_lock
HALF_LOCKED2 &priv->lock
HALF_LOCKED2 _T->lock

net/core/netdev-genl.c netdev_nl_queue_fill_lease() -> __netif_get_rx_queue_lease()

Type Parameter Key Value
PARAM_VALUE 0 *dev 4096-ptr_max
PARAM_VALUE 1 *rxq_idx 0-4294967294
PARAM_VALUE 2 dir 1
RX_PATH
TASK_NOT_RUNNING