Defined in 4 files as a member:

Defined in 3 files as a function:

Referenced in 15 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 old_sdata 0
DATA_SOURCE 1 map_flags $3
USER_DATA 1 map_flags 4-u64max

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

Type Parameter Key Value
PARAM_VALUE 0 old_sdata 0,4096-ptr_max
PARAM_VALUE 1 map_flags 4-u64max
BUF_SIZE 0 old_sdata (-1),8
BUF_SIZE 0 old_sdata (-1),8
DATA_SOURCE 0 old_sdata r bpf_local_storage_lookup
DATA_SOURCE 1 map_flags $3
BIT_INFO 1 map_flags 0x4,0xfffffffffffffffe
BIT_INFO 1 map_flags 0x4,0xfffffffffffffffe
USER_DATA 1 map_flags 4-u64max

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

Type Parameter Key Value
PARAM_VALUE 0 old_sdata 0,4096-ptr_max
BUF_SIZE 0 old_sdata (-1),8
BUF_SIZE 0 old_sdata (-1),8
DATA_SOURCE 0 old_sdata r bpf_local_storage_lookup
DATA_SOURCE 1 map_flags $3
PREEMPT_ADD <- disables preempt
USER_DATA 1 map_flags 4-u64max
LOCK2 flags

kernel/locking/lockdep.c lock_acquire() -> check_flags()

Type Parameter Key Value
CAPPED_DATA 0 old_sdata 1
CAPPED_DATA 0 old_sdata 1
DATA_SOURCE 0 old_sdata r arch_local_irq_save
NOCHECK_CALL
LOCK2 0 old_sdata

kernel/locking/lockdep.c lock_acquired() -> check_flags()

Type Parameter Key Value
CAPPED_DATA 0 old_sdata 1
CAPPED_DATA 0 old_sdata 1
DATA_SOURCE 0 old_sdata r arch_local_irq_save
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 old_sdata
HALF_LOCKED2 &class->lock
HALF_LOCKED2 &lock->wait_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &root->kernfs_rwsem
HALF_LOCKED2 &zsl->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
HALF_LOCKED2 l1

kernel/locking/lockdep.c lock_contended() -> check_flags()

Type Parameter Key Value
CAPPED_DATA 0 old_sdata 1
CAPPED_DATA 0 old_sdata 1
DATA_SOURCE 0 old_sdata r arch_local_irq_save
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 old_sdata
HALF_LOCKED2 &lock->wait_lock
HALF_LOCKED2 &root->kernfs_rwsem
HALF_LOCKED2 flags
HALF_LOCKED2 irq
HALF_LOCKED2 l1

kernel/locking/lockdep.c lock_downgrade() -> check_flags()

Type Parameter Key Value
CAPPED_DATA 0 old_sdata 1
CAPPED_DATA 0 old_sdata 1
DATA_SOURCE 0 old_sdata r arch_local_irq_save
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 old_sdata
HALF_LOCKED2 &card->controls_rwsem
HALF_LOCKED2 &con->sock_lock
HALF_LOCKED2 &ctx->rwsem
HALF_LOCKED2 &d->sem
HALF_LOCKED2 &device->client_data_rwsem
HALF_LOCKED2 &dvnode->validate_lock
HALF_LOCKED2 &group->mode_sem
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &mdsc->snap_rwsem
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &nilfs->ns_segctor_sem
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &osdc->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &rbd_dev->lock_rwsem
HALF_LOCKED2 &rdev->exclusive_lock
HALF_LOCKED2 &session->s_mutex
HALF_LOCKED2 &svms->lock
HALF_LOCKED2 &vm->lock
HALF_LOCKED2 &vnode->validate_lock
HALF_LOCKED2 b
HALF_LOCKED2 global &clients_rwsem
HALF_LOCKED2 global &devices_rwsem
HALF_LOCKED2 global &htable_rw_lock
HALF_LOCKED2 global &key_types_sem

kernel/locking/lockdep.c lock_is_held_type() -> check_flags()

Type Parameter Key Value
CAPPED_DATA 0 old_sdata 1
CAPPED_DATA 0 old_sdata 1
DATA_SOURCE 0 old_sdata r arch_local_irq_save
NOCHECK_CALL
LOCK2 0 old_sdata

kernel/locking/lockdep.c lock_pin_lock() -> check_flags()

Type Parameter Key Value
CAPPED_DATA 0 old_sdata 1
CAPPED_DATA 0 old_sdata 1
DATA_SOURCE 0 old_sdata r arch_local_irq_save
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 old_sdata
HALF_LOCKED2 &ce->timeline->mutex
HALF_LOCKED2 &to->context->timeline->mutex

kernel/locking/lockdep.c lock_release() -> check_flags()

Type Parameter Key Value
CAPPED_DATA 0 old_sdata 1
CAPPED_DATA 0 old_sdata 1
DATA_SOURCE 0 old_sdata r arch_local_irq_save
NOCHECK_CALL
LOCK2 0 old_sdata

kernel/locking/lockdep.c lock_repin_lock() -> check_flags()

Type Parameter Key Value
CAPPED_DATA 0 old_sdata 1
CAPPED_DATA 0 old_sdata 1
DATA_SOURCE 0 old_sdata r arch_local_irq_save
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 old_sdata
HALF_LOCKED2 irq

kernel/locking/lockdep.c lock_sequence() -> check_flags()

Type Parameter Key Value
CAPPED_DATA 0 old_sdata 1
CAPPED_DATA 0 old_sdata 1
DATA_SOURCE 0 old_sdata r arch_local_irq_save
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 old_sdata

kernel/locking/lockdep.c lock_set_class() -> check_flags()

Type Parameter Key Value
CAPPED_DATA 0 old_sdata 1
CAPPED_DATA 0 old_sdata 1
DATA_SOURCE 0 old_sdata r arch_local_irq_save
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 old_sdata
HALF_LOCKED2 &c->bucket_lock
HALF_LOCKED2 &gpc1->lock
HALF_LOCKED2 &p->pi_lock
HALF_LOCKED2 &v->kvm->srcu
HALF_LOCKED2 flags
HALF_LOCKED2 irq

kernel/locking/lockdep.c lock_sync() -> check_flags()

Type Parameter Key Value
CAPPED_DATA 0 old_sdata 1
CAPPED_DATA 0 old_sdata 1
DATA_SOURCE 0 old_sdata r arch_local_irq_save
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 old_sdata
HALF_LOCKED2 &pool->lock

kernel/locking/lockdep.c lock_unpin_lock() -> check_flags()

Type Parameter Key Value
CAPPED_DATA 0 old_sdata 1
CAPPED_DATA 0 old_sdata 1
DATA_SOURCE 0 old_sdata r arch_local_irq_save
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 old_sdata

kernel/bpf/hashtab.c __htab_lru_percpu_map_update_elem() -> check_flags()

Type Parameter Key Value
PARAM_VALUE 0 old_sdata 4096-ptr_max
PARAM_VALUE 1 map_flags 0,4096-ptr_max
PARAM_VALUE 2 map_flags 0-16
DATA_SOURCE 1 map_flags r lookup_elem_raw
DATA_SOURCE 2 map_flags $3
PREEMPT_ADD <- disables preempt
USER_DATA 2 map_flags 4-16
LOCK2 flags
HALF_LOCKED2 rcu_read

kernel/bpf/hashtab.c htab_lru_map_update_elem() -> check_flags()

Type Parameter Key Value
PARAM_VALUE 0 old_sdata 4096-ptr_max
PARAM_VALUE 1 map_flags 0,4096-ptr_max
PARAM_VALUE 2 map_flags 0-2
DATA_SOURCE 1 map_flags r lookup_elem_raw
DATA_SOURCE 2 map_flags $3
PREEMPT_ADD <- disables preempt
LOCK2 flags

kernel/bpf/hashtab.c htab_map_update_elem() -> check_flags()

Type Parameter Key Value
PARAM_VALUE 0 old_sdata 4096-ptr_max
PARAM_VALUE 1 map_flags 0,4096-ptr_max
PARAM_VALUE 2 map_flags 4-u64max
DATA_SOURCE 1 map_flags r lookup_nulls_elem_raw
DATA_SOURCE 2 map_flags $3
BIT_INFO 2 map_flags 0x4,0xffffffffffffffff
BIT_INFO 2 map_flags 0x4,0xffffffffffffffff
USER_DATA 2 map_flags 4-u64max
HALF_LOCKED2 rcu_read

kernel/bpf/hashtab.c htab_map_update_elem() -> check_flags()

Type Parameter Key Value
PARAM_VALUE 0 old_sdata 4096-ptr_max
PARAM_VALUE 1 map_flags 0,4096-ptr_max
DATA_SOURCE 1 map_flags r lookup_elem_raw
DATA_SOURCE 2 map_flags $3
PREEMPT_ADD <- disables preempt
USER_DATA 2 map_flags 4-u64max
LOCK2 flags
HALF_LOCKED2 rcu_read

kernel/bpf/hashtab.c htab_map_update_elem_in_place() -> check_flags()

Type Parameter Key Value
PARAM_VALUE 0 old_sdata 4096-ptr_max
PARAM_VALUE 1 map_flags 0,4096-ptr_max
PARAM_VALUE 2 map_flags 0-16
DATA_SOURCE 1 map_flags r lookup_elem_raw
DATA_SOURCE 2 map_flags $3
PREEMPT_ADD <- disables preempt
USER_DATA 2 map_flags 4-16
LOCK2 flags
HALF_LOCKED2 rcu_read