Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/mediatek/mtk_wed.c __mtk_wed_detach() -> mtk_eth_set_dma_device()

Type Parameter Key Value
PARAM_VALUE 0 eth 4096-ptr_max
PARAM_COMPARE 0 eth->dev != $0->dma_dev
PARAM_COMPARE 1 dma_dev != $0->dma_dev
PARAM_COMPARE 1 dma_dev != $0->dma_dev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &hw_lock

drivers/net/ethernet/mediatek/mtk_wed.c mtk_wed_attach() -> mtk_eth_set_dma_device()

Type Parameter Key Value
PARAM_VALUE 0 eth 4096-ptr_max
PARAM_VALUE 0 eth->dev 4096-ptr_max
PARAM_VALUE 1 dma_dev 4096-ptr_max
PARAM_VALUE 1 dma_dev->dma_mask 4096-ptr_max
CAPPED_DATA 0 eth->dev 1
CAPPED_DATA 0 eth->dma_dev 1
PARAM_COMPARE 0 eth->dev == $0->dma_dev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &hw_lock