Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/intel/e1000e/netdev.c e1000_clean_jumbo_rx_irq() -> (struct e1000_adapter)->alloc_rx_buf()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->adapter 4096-ptr_max
PARAM_VALUE 0 adapter->buffer_info 4096-ptr_max
PARAM_VALUE 0 adapter->rx_skb_top 0,4096-ptr_max
PARAM_VALUE 0 (*adapter).desc 4096-ptr_max
PARAM_VALUE 1 rx_ring 16-s32max
PARAM_VALUE 2 cleaned_count 2080
DATA_SOURCE 0 adapter $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_PTR 0 adapter->rx_skb_top->data
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/intel/e1000e/netdev.c e1000_clean_jumbo_rx_irq() -> (struct e1000_adapter)->alloc_rx_buf()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->adapter 4096-ptr_max
PARAM_VALUE 0 adapter->buffer_info 4096-ptr_max
PARAM_VALUE 0 (*adapter).desc 4096-ptr_max
PARAM_VALUE 1 rx_ring s32min-(-1),1-s32max
PARAM_VALUE 2 cleaned_count 2080
CAPPED_DATA 0 adapter->next_to_clean 1
DATA_SOURCE 0 adapter $0
DATA_SOURCE 1 rx_ring r e1000_desc_unused
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_PTR 0 adapter->rx_skb_top->data
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/intel/e1000e/netdev.c e1000_clean_rx_irq() -> (struct e1000_adapter)->alloc_rx_buf()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->adapter 4096-ptr_max
PARAM_VALUE 0 adapter->buffer_info 4096-ptr_max
PARAM_VALUE 0 (*adapter).desc 4096-ptr_max
PARAM_VALUE 1 rx_ring 16-s32max
PARAM_VALUE 2 cleaned_count 2080
DATA_SOURCE 0 adapter $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/intel/e1000e/netdev.c e1000_clean_rx_irq() -> (struct e1000_adapter)->alloc_rx_buf()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->adapter 4096-ptr_max
PARAM_VALUE 0 adapter->buffer_info 4096-ptr_max
PARAM_VALUE 0 (*adapter).desc 4096-ptr_max
PARAM_VALUE 1 rx_ring s32min-(-1),1-s32max
PARAM_VALUE 2 cleaned_count 2080
CAPPED_DATA 0 adapter->next_to_clean 1
DATA_SOURCE 0 adapter $0
DATA_SOURCE 1 rx_ring r e1000_desc_unused
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/intel/e1000e/netdev.c e1000_clean_rx_irq_ps() -> (struct e1000_adapter)->alloc_rx_buf()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->adapter 4096-ptr_max
PARAM_VALUE 0 adapter->buffer_info 4096-ptr_max
PARAM_VALUE 0 (*adapter).desc 4096-ptr_max
PARAM_VALUE 1 rx_ring 16-s32max
PARAM_VALUE 2 cleaned_count 2080
DATA_SOURCE 0 adapter $0
FUZZY_MAX 1 rx_ring 16
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/intel/e1000e/netdev.c e1000_clean_rx_irq_ps() -> (struct e1000_adapter)->alloc_rx_buf()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->adapter 4096-ptr_max
PARAM_VALUE 0 adapter->buffer_info 4096-ptr_max
PARAM_VALUE 0 (*adapter).desc 4096-ptr_max
PARAM_VALUE 1 rx_ring s32min-(-1),1-s32max
PARAM_VALUE 2 cleaned_count 2080
CAPPED_DATA 0 adapter->next_to_clean 1
DATA_SOURCE 0 adapter $0
DATA_SOURCE 1 rx_ring r e1000_desc_unused
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/intel/e1000e/netdev.c e1000_configure() -> (struct e1000_adapter)->alloc_rx_buf()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 2 cleaned_count 3264
CAPPED_DATA 0 adapter->next_to_clean 1
CONTAINER 0 *(-1736+1744) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/intel/e1000/e1000_main.c e1000_clean_jumbo_rx_irq() -> (struct e1000_adapter)->alloc_rx_buf()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->detect_tx_hung 0
PARAM_VALUE 0 adapter->netdev 4096-ptr_max
PARAM_VALUE 0 adapter->rx_ring 4096-ptr_max
PARAM_VALUE 0 adapter->tx_ring 4096-ptr_max
PARAM_VALUE 0 *adapter->netdev->name 0
PARAM_VALUE 1 rx_ring 4096-ptr_max
PARAM_VALUE 1 rx_ring->buffer_info 4096-ptr_max
PARAM_VALUE 1 rx_ring->rx_skb_top 0,4096-ptr_max
PARAM_VALUE 1 (*rx_ring).desc 4096-ptr_max
PARAM_VALUE 2 cleaned_count 16-s32max
BUF_SIZE 1 rx_ring->rx_skb_top (-1)-s32max
CAPPED_DATA 0 adapter->netdev->num_tx_queues 1
DATA_SOURCE 0 adapter $0
DATA_SOURCE 1 rx_ring $1
CONTAINER 0 -744+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 adapter->napi.skb->end
NO_OVERFLOW_SIMPLE 1 rx_ring->rx_skb_top->end
USER_PTR 1 rx_ring->rx_skb_top->data
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/intel/e1000/e1000_main.c e1000_clean_jumbo_rx_irq() -> (struct e1000_adapter)->alloc_rx_buf()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->detect_tx_hung 0
PARAM_VALUE 0 adapter->netdev 4096-ptr_max
PARAM_VALUE 0 adapter->rx_ring 4096-ptr_max
PARAM_VALUE 0 adapter->tx_ring 4096-ptr_max
PARAM_VALUE 0 *adapter->netdev->name 0
PARAM_VALUE 1 rx_ring 4096-ptr_max
PARAM_VALUE 1 rx_ring->buffer_info 4096-ptr_max
PARAM_VALUE 1 (*rx_ring).desc 4096-ptr_max
PARAM_VALUE 2 cleaned_count s32min-(-1),1-s32max
BUF_SIZE 1 rx_ring->rx_skb_top (-1)-s32max
CAPPED_DATA 0 adapter->netdev->num_tx_queues 1
DATA_SOURCE 0 adapter $0
DATA_SOURCE 1 rx_ring $1
CONTAINER 0 -744+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 adapter->napi.skb->end
NO_OVERFLOW_SIMPLE 1 rx_ring->rx_skb_top->end
USER_PTR 1 rx_ring->rx_skb_top->data
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/intel/e1000/e1000_main.c e1000_clean_rx_irq() -> (struct e1000_adapter)->alloc_rx_buf()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->detect_tx_hung 0
PARAM_VALUE 0 adapter->netdev 4096-ptr_max
PARAM_VALUE 0 adapter->rx_ring 4096-ptr_max
PARAM_VALUE 0 adapter->tx_ring 4096-ptr_max
PARAM_VALUE 0 *adapter->netdev->name 0-255
PARAM_VALUE 1 rx_ring 4096-ptr_max
PARAM_VALUE 1 rx_ring->buffer_info 4096-ptr_max
PARAM_VALUE 1 (*rx_ring).desc 4096-ptr_max
PARAM_VALUE 2 cleaned_count 16-s32max
CAPPED_DATA 0 adapter->netdev->num_tx_queues 1
DATA_SOURCE 0 adapter $0
DATA_SOURCE 1 rx_ring $1
CONTAINER 0 -744+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/intel/e1000/e1000_main.c e1000_clean_rx_irq() -> (struct e1000_adapter)->alloc_rx_buf()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->detect_tx_hung 0
PARAM_VALUE 0 adapter->netdev 4096-ptr_max
PARAM_VALUE 0 adapter->rx_ring 4096-ptr_max
PARAM_VALUE 0 adapter->tx_ring 4096-ptr_max
PARAM_VALUE 0 *adapter->netdev->name 0-255
PARAM_VALUE 1 rx_ring 4096-ptr_max
PARAM_VALUE 1 rx_ring->buffer_info 4096-ptr_max
PARAM_VALUE 1 (*rx_ring).desc 4096-ptr_max
PARAM_VALUE 2 cleaned_count s32min-(-1),1-s32max
CAPPED_DATA 0 adapter->netdev->num_tx_queues 1
DATA_SOURCE 0 adapter $0
DATA_SOURCE 1 rx_ring $1
CONTAINER 0 -744+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/intel/e1000/e1000_main.c e1000_configure() -> (struct e1000_adapter)->alloc_rx_buf()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->alloc_rx_buf 32546929444712448,1338775782828212224
PARAM_VALUE 0 adapter->clean_rx 3327646093193867264,7352219314319454208
PARAM_VALUE 0 adapter->netdev 4096-ptr_max
PARAM_VALUE 0 adapter->netdev->flags 256-u32max
PARAM_VALUE 0 adapter->num_rx_queues 1
PARAM_VALUE 0 adapter->num_tx_queues 1
PARAM_VALUE 0 adapter->pcix_82544 1
PARAM_VALUE 0 adapter->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 adapter->rx_buffer_len 2048,4096,8192,16384
PARAM_VALUE 0 adapter->rx_ring 4096-ptr_max
PARAM_VALUE 0 adapter->tx_ring 4096-ptr_max
PARAM_VALUE 0 adapter->txd_cmd 184549376,318767104,2332033024,2466250752
PARAM_VALUE 1 rx_ring 4096-ptr_max
DATA_SOURCE 0 adapter $0
CONTAINER 0 -744+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 adapter->hw.eeprom.word_size 64[c]
HOST_DATA 0 adapter->hw.ledctl_default 0-u32max
HOST_DATA 0 adapter->hw.ledctl_mode1 0-u32max
HOST_DATA 0 adapter->hw.ledctl_mode2 0-u32max
HOST_DATA 0 adapter->hw.phy_addr 0-u32max
HOST_DATA 0 adapter->hw.phy_id 0-u32max
HOST_DATA 0 adapter->hw.phy_revision 0-15
NO_OVERFLOW_SIMPLE 0 adapter->num_rx_queues
NO_OVERFLOW_SIMPLE 0 adapter->num_tx_queues

drivers/net/ethernet/intel/e1000/e1000_main.c e1000_leave_82542_rst() -> (struct e1000_adapter)->alloc_rx_buf()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->alloc_rx_buf 32546929444712448,1338775782828212224
PARAM_VALUE 0 adapter->clean_rx 3327646093193867264,7352219314319454208
PARAM_VALUE 0 adapter->hw.back 4096-ptr_max
PARAM_VALUE 0 adapter->hw.back->pdev->error_state 0-2,4-4294967295
PARAM_VALUE 0 adapter->hw.mac_type 0-2
PARAM_VALUE 0 adapter->napi.skb 0
PARAM_VALUE 0 adapter->netdev 4096-ptr_max
PARAM_VALUE 0 adapter->num_rx_queues 1
PARAM_VALUE 0 adapter->rx_ring 4096-ptr_max
PARAM_VALUE 1 rx_ring 4096-ptr_max
DATA_SOURCE 0 adapter $0
CONTAINER 0 -744+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex