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_rotate_active() -> __bpf_lru_node_move()

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 1
PARAM_VALUE 2 tgt_type 0
BUF_SIZE 0 l (-1),128
BUF_SIZE 0 l (-1),128
CAPPED_DATA 1 &node->list 1
DATA_SOURCE 0 l $1
PREEMPT_ADD
NOCHECK_CALL
LOCK2 flags

kernel/bpf/bpf_lru_list.c __bpf_lru_list_rotate_active() -> __bpf_lru_node_move()

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
PARAM_VALUE 2 tgt_type 1
BUF_SIZE 0 l (-1),128
BUF_SIZE 0 l (-1),128
CAPPED_DATA 1 &node->list 1
DATA_SOURCE 0 l $1
PREEMPT_ADD
NOCHECK_CALL
LOCK2 flags

kernel/bpf/bpf_lru_list.c __bpf_lru_list_rotate_inactive() -> __bpf_lru_node_move()

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 1
PARAM_VALUE 2 tgt_type 0
BUF_SIZE 0 l (-1),128
BUF_SIZE 0 l (-1),128
DATA_SOURCE 0 l $1
PREEMPT_ADD
NOCHECK_CALL
LOCK2 flags

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

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->pending_free 0
PARAM_VALUE 1 node->ref 1
PARAM_VALUE 2 tgt_type 0
BUF_SIZE 0 l (-1),128
BUF_SIZE 0 l (-1),128
CAPPED_DATA 1 &node->list 1
DATA_SOURCE 0 l $1
PREEMPT_ADD
NOCHECK_CALL
HALF_LOCKED2 flags

kernel/bpf/bpf_lru_list.c bpf_lru_list_push_free() -> __bpf_lru_node_move()

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
PARAM_VALUE 1 node 4096-ptr_max
PARAM_VALUE 1 node->type 0-1
PARAM_VALUE 2 tgt_type 2
CAPPED_DATA 0 &l->lock 1
DATA_SOURCE 0 l $0
DATA_SOURCE 1 node $1
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 flags
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

kernel/bpf/bpf_lru_list.c bpf_percpu_lru_pop_free() -> __bpf_lru_node_move()

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
PARAM_VALUE 2 tgt_type 1
CAPPED_DATA 0 &l->lock 1
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 flags

kernel/bpf/bpf_lru_list.c bpf_percpu_lru_push_free() -> __bpf_lru_node_move()

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
PARAM_VALUE 1 node 4096-ptr_max
PARAM_VALUE 2 tgt_type 2
CAPPED_DATA 0 &l->lock 1
DATA_SOURCE 1 node $1
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 flags
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read