Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/calxeda/xgmac.c desc_init_rx_desc() -> desc_set_buf_len()

Type Parameter Key Value
PARAM_VALUE 0 p 1-ptr_max
PARAM_VALUE 0 p->buf_size 0,8-8184,73720-4294909944
PARAM_VALUE 1 buf_sz 0,8-u32max
BUF_SIZE 0 p (-1),8192
BUF_SIZE 0 p (-1),8192
CAPPED_DATA 0 p 1
DATA_SOURCE 0 p $0 [m]
DATA_SOURCE 1 buf_sz $2
FUZZY_MAX 0 p->buf_size 0
BIT_INFO 1 buf_sz 0x0,0x7ffffff8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 p->buf_size 0,24-8184,73720-3758563320[c]
USER_DATA 1 buf_sz 0,24-s32max[c]
HALF_LOCKED2 &dev->ethtool->rss_lock
HALF_LOCKED2 &dev->lock

drivers/net/ethernet/calxeda/xgmac.c desc_set_buf_addr_and_size() -> desc_set_buf_len()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
DATA_SOURCE 0 p $0
DATA_SOURCE 1 buf_sz $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 buf_sz unit_byte
HALF_LOCKED2 &dev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read