Open Menu /

Documented in 1 files:

Defined in 1 files as a macro:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/bpf/bpf_local_storage.c __bpf_local_storage_insert_cache() -> res_spin_lock()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
LOCK2 flags

kernel/bpf/bpf_local_storage.c bpf_local_storage_alloc() -> res_spin_lock()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
HALF_LOCKED2 rcu_read

kernel/bpf/bpf_local_storage.c bpf_local_storage_update() -> res_spin_lock()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 flags

kernel/bpf/bpf_local_storage.c bpf_local_storage_update() -> res_spin_lock()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 b_flags
LOCK2 flags

kernel/bpf/bpf_local_storage.c bpf_selem_link_map() -> res_spin_lock()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 rcu_read
HALF_LOCKED2 &newsk->sk_lock.slock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

kernel/bpf/bpf_local_storage.c bpf_selem_unlink() -> res_spin_lock()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 flags

kernel/bpf/bpf_local_storage.c bpf_selem_unlink_map() -> res_spin_lock()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 flags
LOCK2 flags

kernel/bpf/bpf_local_storage.c bpf_selem_unlink_nofail() -> res_spin_lock()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 rcu_read

kernel/bpf/bpf_local_storage.c bpf_selem_unlink_nofail() -> res_spin_lock()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 rcu_read

kernel/bpf/rqspinlock.c bpf_res_spin_lock() -> res_spin_lock()

Type Parameter Key Value
DATA_SOURCE 0 lock $0
PREEMPT_ADD <- disables preempt

kernel/bpf/rqspinlock.c bpf_res_spin_lock_irqsave() -> res_spin_lock()

Type Parameter Key Value
DATA_SOURCE 0 lock $0
PREEMPT_ADD <- disables preempt
LOCK2 flags

kernel/locking/locktorture.c torture_raw_res_spin_write_lock() -> res_spin_lock()

Type Parameter Key Value
PARAM_VALUE 0 lock 3025735878643646464
PREEMPT_ADD <- disables preempt
HALF_LOCKED2 flags
HALF_LOCKED2 global &torture_mutex
HALF_LOCKED2 global &torture_raw_spinlock
HALF_LOCKED2 global &torture_rwlock
HALF_LOCKED2 global &torture_rwsem
HALF_LOCKED2 global &torture_spinlock

kernel/locking/locktorture.c torture_raw_res_spin_write_lock_irq() -> res_spin_lock()

Type Parameter Key Value
PARAM_VALUE 0 lock 3025735878643646464
PREEMPT_ADD <- disables preempt
LOCK2 flags
HALF_LOCKED2 flags
HALF_LOCKED2 global &torture_mutex
HALF_LOCKED2 global &torture_raw_spinlock
HALF_LOCKED2 global &torture_rwlock
HALF_LOCKED2 global &torture_rwsem
HALF_LOCKED2 global &torture_spinlock

kernel/bpf/queue_stack_maps.c __queue_map_get() -> res_spin_lock()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 flags

kernel/bpf/queue_stack_maps.c __stack_map_get() -> res_spin_lock()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 flags

kernel/bpf/queue_stack_maps.c queue_stack_map_push_elem() -> res_spin_lock()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 irq_flags

kernel/bpf/arena.c arena_alloc_pages() -> res_spin_lock()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 flags

kernel/bpf/arena.c arena_free_pages() -> res_spin_lock()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 flags

kernel/bpf/arena.c arena_free_worker() -> res_spin_lock()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 flags
HALF_LOCKED2 &pool->lock

kernel/bpf/arena.c arena_reserve_pages() -> res_spin_lock()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 flags

kernel/bpf/arena.c arena_vm_fault() -> res_spin_lock()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags

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

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 irq_flags
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 irq_flags

kernel/bpf/percpu_freelist.c ___pcpu_freelist_pop() -> res_spin_lock()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 flags

kernel/bpf/percpu_freelist.c ___pcpu_freelist_push() -> res_spin_lock()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 flags

kernel/bpf/percpu_freelist.c __pcpu_freelist_push() -> res_spin_lock()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 flags

kernel/bpf/bpf_lru_list.c bpf_common_lru_pop_free() -> res_spin_lock()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 flags

kernel/bpf/bpf_lru_list.c bpf_common_lru_pop_free() -> res_spin_lock()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 flags

kernel/bpf/bpf_lru_list.c bpf_common_lru_pop_free() -> res_spin_lock()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PARAM_VALUE 0 lock->locked 0
PREEMPT_ADD <- disables preempt
LOCK2 flags

kernel/bpf/bpf_lru_list.c bpf_common_lru_push_free() -> res_spin_lock()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 flags
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 flags

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

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 flags
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 flags

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

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 flags
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

kernel/bpf/ringbuf.c __bpf_ringbuf_reserve() -> res_spin_lock()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 flags

kernel/bpf/hashtab.c htab_lock_bucket() -> res_spin_lock()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PREEMPT_ADD <- disables preempt
LOCK2 flags
HALF_LOCKED2 rcu_read