Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/alibaba/eea/eea_rx.c eea_free_rx() -> eea_destroy_page_pool()

Type Parameter Key Value
PARAM_VALUE 0 rx 4096-ptr_max
PARAM_VALUE 0 rx->ering 0
PARAM_VALUE 0 rx->meta 0
PARAM_VALUE 0 rx->pp 1-u64max
BUF_SIZE 0 rx (-1),168
BUF_SIZE 0 rx (-1),168
BUF_SIZE 0 rx->ering (-1)-0,120
BUF_SIZE 0 rx->meta (-1)-0,88
DATA_SOURCE 0 rx $0
STR_LEN 0 rx->ering->name (-1),15
STR_LEN 0 rx->name (-1),15
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 rx->ering->num
NO_OVERFLOW_SIMPLE 0 rx->ering->num_free
NO_OVERFLOW_SIMPLE 0 rx->free->id
NO_OVERFLOW_SIMPLE 0 rx->index
HALF_LOCKED2 global &rtnl_mutex