Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/bpf_lru_list.c __bpf_lru_list_shrink() -> __bpf_lru_node_move_to_free()

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
PARAM_VALUE 0 l->lists 4096-ptr_max
PARAM_VALUE 1 node 4096-ptr_max
PARAM_VALUE 2 free_list 4096-ptr_max
PARAM_VALUE 2 free_list->next 4096-ptr_max
PARAM_VALUE 2 free_list->next->next 4096-ptr_max
PARAM_VALUE 2 free_list->next->prev 4096-ptr_max
PARAM_VALUE 3 tgt_free_type 2-3
BUF_SIZE 0 l (-1),128
BUF_SIZE 0 l (-1),128
BUF_SIZE 2 free_list (-1),16
BUF_SIZE 2 free_list (-1),16
CAPPED_DATA 1 &node->list 1
CAPPED_DATA 2 free_list 1
DATA_SOURCE 0 l $1
DATA_SOURCE 2 free_list $3
DATA_SOURCE 3 tgt_free_type $4
HARD_MAX 3 tgt_free_type 3
PREEMPT_ADD
NOCHECK_CALL
HALF_LOCKED2 flags

kernel/bpf/bpf_lru_list.c __bpf_lru_list_shrink_inactive() -> __bpf_lru_node_move_to_free()

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
PARAM_VALUE 0 l->lists 4096-ptr_max
PARAM_VALUE 1 node 4096-ptr_max
PARAM_VALUE 1 node->ref 0-1
PARAM_VALUE 2 free_list 4096-ptr_max
PARAM_VALUE 3 tgt_free_type 2-3
BUF_SIZE 0 l (-1),128
BUF_SIZE 0 l (-1),128
BUF_SIZE 2 free_list (-1),16
BUF_SIZE 2 free_list (-1),16
CAPPED_DATA 1 &node->list 1
CAPPED_DATA 2 free_list 1
DATA_SOURCE 0 l $1
DATA_SOURCE 2 free_list $3
DATA_SOURCE 3 tgt_free_type $4
HARD_MAX 3 tgt_free_type 3
PREEMPT_ADD
NOCHECK_CALL
HALF_LOCKED2 flags

kernel/bpf/bpf_lru_list.c bpf_lru_list_pop_free_to_local() -> __bpf_lru_node_move_to_free()

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
PARAM_VALUE 0 l->lists 4096-ptr_max
PARAM_VALUE 1 node 4096-ptr_max
PARAM_VALUE 2 free_list 9087154042426388480
PARAM_VALUE 2 free_list->prev 9087154042426388480
PARAM_VALUE 3 tgt_free_type 3
BUF_SIZE 0 l 128
CAPPED_DATA 0 &l->lock 1
CAPPED_DATA 1 &node->list 1
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 flags