Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/virtio_net.c virtnet_disable_queue_pair() -> virtnet_napi_disable()

Type Parameter Key Value
PARAM_VALUE 0 rq 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex

drivers/net/virtio_net.c virtnet_rx_pause() -> virtnet_napi_disable()

Type Parameter Key Value
PARAM_VALUE 0 rq->sg->dma_flags 0-4294967295
PARAM_VALUE 0 rq->sg->dma_length 0-4294967295
PARAM_VALUE 0 rq->sg->length 0-4294967295
PARAM_VALUE 0 rq->sg->offset 0-4294967295
DATA_SOURCE 0 rq $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 rq->xsk_pool->free_heads_cnt
NO_OVERFLOW_SIMPLE 0 rq->xsk_pool->heads_cnt
NO_OVERFLOW_SIMPLE 0 rq->xsk_rxq_info.dev->group
NO_OVERFLOW_SIMPLE 0 rq->xsk_rxq_info.dev->num_napi_configs
NO_OVERFLOW_SIMPLE 0 rq->xsk_rxq_info.dev->proto_down
NO_OVERFLOW_SIMPLE 0 rq->xsk_rxq_info.dev->tx_queue_len
NO_OVERFLOW_SIMPLE 0 rq->xsk_rxq_info.queue_index