Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/xilinx/xilinx_axienet_main.c axienet_dma_bd_release() -> desc_get_phys_addr()

Type Parameter Key Value
PARAM_VALUE 0 lp 4096-ptr_max
PARAM_VALUE 1 desc 4096-ptr_max
CAPPED_DATA 0 lp->tx_bd_v 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ndev->ethtool->rss_lock
HALF_LOCKED2 &ndev->lock
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/xilinx/xilinx_axienet_main.c axienet_dma_err_handler() -> desc_get_phys_addr()

Type Parameter Key Value
PARAM_VALUE 0 lp 4096-ptr_max
PARAM_VALUE 1 desc 4096-ptr_max
CAPPED_DATA 0 lp->napi_rx.timer.base 1
CAPPED_DATA 0 lp->napi_tx.timer.base 1
PARAM_COMPARE 0 &lp->napi_rx.timer != $0->napi_rx.timer.base->running
PARAM_COMPARE 0 &lp->napi_tx.timer != $0->napi_tx.timer.base->running
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/xilinx/xilinx_axienet_main.c axienet_free_tx_chain() -> desc_get_phys_addr()

Type Parameter Key Value
PARAM_VALUE 0 lp 4096-ptr_max
PARAM_VALUE 1 desc 4096-ptr_max
DATA_SOURCE 0 lp $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/xilinx/xilinx_axienet_main.c axienet_rx_poll() -> desc_get_phys_addr()

Type Parameter Key Value
PARAM_VALUE 0 lp 4096-ptr_max
PARAM_VALUE 1 desc 4096-ptr_max
BIT_INFO 1 desc->status 0x80000000,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 desc->skb->end
USER_PTR 1 desc->skb->data
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read