Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/lpm_trie.c trie_delete_elem() -> extract_bit()

Type Parameter Key Value
CAPPED_DATA 1 index 1
PREEMPT_ADD <- disables preempt
USER_DATA 0 *data 0-255
USER_PTR 0 data
LOCK2 irq_flags
HALF_LOCKED2 rcu_read

kernel/bpf/lpm_trie.c trie_get_next_key() -> extract_bit()

Type Parameter Key Value
CAPPED_DATA 1 index 1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 *data 0-255
USER_PTR 0 data
LOCK2 rcu_read
HALF_LOCKED2 &m->lock

kernel/bpf/lpm_trie.c trie_lookup_elem() -> extract_bit()

Type Parameter Key Value
CAPPED_DATA 1 index 1
USER_DATA 0 *data 0-255
USER_PTR 0 data
HALF_LOCKED2 rcu_read

kernel/bpf/lpm_trie.c trie_update_elem() -> extract_bit()

Type Parameter Key Value
CAPPED_DATA 1 index 1
PREEMPT_ADD <- disables preempt
USER_DATA 0 *data 0-255
USER_PTR 0 data
LOCK2 irq_flags

kernel/bpf/lpm_trie.c trie_update_elem() -> extract_bit()

Type Parameter Key Value
PARAM_VALUE 1 index 0-u32max
CAPPED_DATA 1 index 1
CAPPED_DATA 1 index 1
DATA_SOURCE 1 index r longest_prefix_match
PREEMPT_ADD <- disables preempt
USER_DATA 1 index 0-s32max[c]
LOCK2 irq_flags

kernel/bpf/lpm_trie.c trie_update_elem() -> extract_bit()

Type Parameter Key Value
PARAM_VALUE 1 index 0-u32max
CAPPED_DATA 1 index 1
CAPPED_DATA 1 index 1
DATA_SOURCE 1 index r longest_prefix_match
PREEMPT_ADD <- disables preempt
USER_DATA 0 *data 0-255
USER_DATA 1 index 0-s32max[c]
USER_PTR 0 data
LOCK2 irq_flags