Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/net/ethernet/sfc/ef100_rx.c __ef100_rx_packet() -> efx_free_rx_buffers()

Type Parameter Key Value
PARAM_VALUE 0 rx_queue 4096-ptr_max
PARAM_VALUE 1 rx_buf 4096-ptr_max
PARAM_VALUE 1 rx_buf->len 15-16383
PARAM_VALUE 2 num_bufs 1
BUF_SIZE 0 rx_queue 448
DATA_SOURCE 0 rx_queue r efx_channel_get_rx_queue
DATA_SOURCE 1 rx_buf r efx_rx_buffer
FUZZY_MAX 1 rx_buf->len 15
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh

drivers/net/ethernet/sfc/tc_counters.c efx_tc_rx() -> efx_free_rx_buffers()

Type Parameter Key Value
PARAM_VALUE 0 rx_queue 4096-ptr_max
PARAM_VALUE 0 *rx_queue->efx->net_dev->name 0-255
PARAM_VALUE 1 rx_buf 4096-ptr_max
PARAM_VALUE 2 num_bufs 1
BUF_SIZE 0 rx_queue 448
DATA_SOURCE 0 rx_queue $0
DATA_SOURCE 1 rx_buf r efx_rx_buffer
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/sfc/rx_common.c efx_discard_rx_packet() -> efx_free_rx_buffers()

Type Parameter Key Value
PARAM_VALUE 0 rx_queue 4096-ptr_max
PARAM_VALUE 1 rx_buf 4096-ptr_max
BUF_SIZE 0 rx_queue 448
DATA_SOURCE 0 rx_queue r efx_channel_get_rx_queue
DATA_SOURCE 1 rx_buf $1
DATA_SOURCE 2 num_bufs $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/sfc/rx_common.c efx_fini_rx_buffer() -> efx_free_rx_buffers()

Type Parameter Key Value
PARAM_VALUE 0 rx_queue 4096-ptr_max
PARAM_VALUE 0 rx_queue->added_count 1-u32max
PARAM_VALUE 0 rx_queue->buffer 1-u64max
PARAM_VALUE 0 rx_queue->core_index 0-s32max
PARAM_VALUE 0 rx_queue->efx 4096-ptr_max
PARAM_VALUE 0 rx_queue->efx->pci_dev->dev.dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rx_queue->slow_fill.entry.pprev 0
PARAM_VALUE 0 rx_queue->slow_fill.flags 0-4194302
PARAM_VALUE 0 rx_queue->slow_fill.function 0
PARAM_VALUE 1 rx_buf 4096-ptr_max
PARAM_VALUE 1 rx_buf->flags 1-u16max
PARAM_VALUE 1 rx_buf->page 0,4096-ptr_max
PARAM_VALUE 2 num_bufs 1
BUF_SIZE 0 rx_queue 448
DATA_SOURCE 0 rx_queue $0
DATA_SOURCE 1 rx_buf $1
BIT_INFO 1 rx_buf->flags 0x1,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/sfc/rx_common.c efx_rx_packet_gro() -> efx_free_rx_buffers()

Type Parameter Key Value
PARAM_VALUE 0 rx_queue 4096-ptr_max
PARAM_VALUE 1 rx_buf 4096-ptr_max
PARAM_VALUE 2 num_bufs 1-u32max
BUF_SIZE 0 rx_queue 448
DATA_SOURCE 0 rx_queue r efx_channel_get_rx_queue
DATA_SOURCE 1 rx_buf $1
DATA_SOURCE 2 num_bufs $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/sfc/rx.c __efx_rx_packet() -> efx_free_rx_buffers()

Type Parameter Key Value
PARAM_VALUE 0 rx_queue 4096-ptr_max
PARAM_VALUE 1 rx_buf 4096-ptr_max
PARAM_VALUE 1 rx_buf->flags 128-u16max
PARAM_VALUE 1 rx_buf->len 0
PARAM_VALUE 2 num_bufs 1-u32max
BUF_SIZE 0 rx_queue 448
DATA_SOURCE 0 rx_queue r efx_channel_get_rx_queue
DATA_SOURCE 1 rx_buf r efx_rx_buffer
BIT_INFO 1 rx_buf->flags 0x80,0xffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/sfc/rx.c __efx_rx_packet() -> efx_free_rx_buffers()

Type Parameter Key Value
PARAM_VALUE 0 rx_queue 4096-ptr_max
PARAM_VALUE 1 rx_buf 4096-ptr_max
PARAM_VALUE 2 num_bufs 1-u32max
BUF_SIZE 0 rx_queue 448
DATA_SOURCE 0 rx_queue r efx_channel_get_rx_queue
DATA_SOURCE 1 rx_buf r efx_rx_buffer
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/sfc/rx.c efx_do_xdp() -> efx_free_rx_buffers()

Type Parameter Key Value
PARAM_VALUE 0 rx_queue 4096-ptr_max
PARAM_VALUE 1 rx_buf 4096-ptr_max
PARAM_VALUE 2 num_bufs 2-u32max
BUF_SIZE 0 rx_queue 448
DATA_SOURCE 0 rx_queue r efx_channel_get_rx_queue
DATA_SOURCE 1 rx_buf $2
FUZZY_MAX 2 num_bufs 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/sfc/rx.c efx_do_xdp() -> efx_free_rx_buffers()

Type Parameter Key Value
PARAM_VALUE 0 rx_queue 4096-ptr_max
PARAM_VALUE 1 rx_buf 4096-ptr_max
PARAM_VALUE 2 num_bufs 1
BUF_SIZE 0 rx_queue 448
DATA_SOURCE 0 rx_queue r efx_channel_get_rx_queue
DATA_SOURCE 1 rx_buf $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/sfc/rx.c efx_do_xdp() -> efx_free_rx_buffers()

Type Parameter Key Value
PARAM_VALUE 0 rx_queue 4096-ptr_max
PARAM_VALUE 1 rx_buf 4096-ptr_max
PARAM_VALUE 2 num_bufs 1
BUF_SIZE 0 rx_queue 448
DATA_SOURCE 0 rx_queue r efx_channel_get_rx_queue
DATA_SOURCE 1 rx_buf $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/sfc/rx.c efx_do_xdp() -> efx_free_rx_buffers()

Type Parameter Key Value
PARAM_VALUE 0 rx_queue 4096-ptr_max
PARAM_VALUE 1 rx_buf 4096-ptr_max
PARAM_VALUE 2 num_bufs 1
BUF_SIZE 0 rx_queue 448
DATA_SOURCE 0 rx_queue r efx_channel_get_rx_queue
DATA_SOURCE 1 rx_buf $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/sfc/rx.c efx_do_xdp() -> efx_free_rx_buffers()

Type Parameter Key Value
PARAM_VALUE 0 rx_queue 4096-ptr_max
PARAM_VALUE 1 rx_buf 4096-ptr_max
PARAM_VALUE 2 num_bufs 1
BUF_SIZE 0 rx_queue 448
DATA_SOURCE 0 rx_queue r efx_channel_get_rx_queue
DATA_SOURCE 1 rx_buf $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/sfc/rx.c efx_rx_deliver() -> efx_free_rx_buffers()

Type Parameter Key Value
PARAM_VALUE 0 rx_queue 4096-ptr_max
PARAM_VALUE 1 rx_buf 4096-ptr_max
PARAM_VALUE 2 num_bufs 1-u32max
BUF_SIZE 0 rx_queue 448
CAPPED_DATA 2 num_bufs 1
DATA_SOURCE 0 rx_queue r efx_channel_get_rx_queue
DATA_SOURCE 1 rx_buf $2
DATA_SOURCE 2 num_bufs $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read