Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/helpers.c ____bpf_spin_lock() -> __bpf_spin_lock_irqsave()

Type Parameter Key Value
DATA_SOURCE 0 lock $0
NOCHECK_CALL

kernel/bpf/helpers.c bpf_list_head_free() -> __bpf_spin_lock_irqsave()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
DATA_SOURCE 0 lock $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 lock unit_byte
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

kernel/bpf/helpers.c bpf_rb_root_free() -> __bpf_spin_lock_irqsave()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
DATA_SOURCE 0 lock $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 lock unit_byte
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

kernel/bpf/helpers.c copy_map_value_locked() -> __bpf_spin_lock_irqsave()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 lock unit_byte
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read