Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/fungible/funeth/funeth_rx.c cache_get() -> refresh_refs()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 0 buf->page 4096-ptr_max
CAPPED_DATA 0 buf->pg_refs 1
DATA_SOURCE 0 buf $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/fungible/funeth/funeth_rx.c funeth_alloc_page() -> refresh_refs()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 0 buf->dma_addr 0-18446744073709551614
PARAM_VALUE 0 buf->page 4096-ptr_max
PARAM_VALUE 0 buf->pg_refs 1
DATA_SOURCE 0 buf $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/fungible/funeth/funeth_rx.c get_buf() -> refresh_refs()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 0 buf->page 4096-ptr_max
DATA_SOURCE 0 buf $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read