Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wan/farsync.c fst_add_one() -> fst_disable_intr()

Type Parameter Key Value
PARAM_VALUE 0 card 4096-ptr_max
PARAM_VALUE 0 card->family 1
BUF_SIZE 0 card 1000
BUF_SIZE 0 card->device (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,8064
BUF_SIZE 0 card->rx_dma_handle_host 8000
BUF_SIZE 0 card->tx_dma_handle_host 8000,u64max
CAPPED_DATA 0 card->nports 1
CAPPED_DATA 0 card->rx_dma_handle_host 1
CAPPED_DATA 0 &card->device->dev 1
DATA_SOURCE 0 card r _kzalloc_noprof
MEM_ZERO 0 card->rx_dma_handle_host
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 card->device->current_state 0-3[c]

drivers/net/wan/farsync.c fst_remove_one() -> fst_disable_intr()

Type Parameter Key Value
PARAM_VALUE 0 card 4096-ptr_max
BUF_SIZE 0 card s32min-(-2),1-s32max
BUF_SIZE 0 card s32min-(-2),1-s32max
CAPPED_DATA 0 card->nports 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 card unit_byte