Documented in 1 files:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/fork.c atomic_long_andnot() -> raw_atomic_long_andnot()

Type Parameter Key Value
PARAM_VALUE 0 i 48
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 0 i $0
DATA_SOURCE 1 v $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/entry/common.c atomic_long_andnot() -> raw_atomic_long_andnot()

Type Parameter Key Value
PARAM_VALUE 0 i 48
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 0 i $0
DATA_SOURCE 1 v $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq

mm/kasan/kasan_test_c.c atomic_long_andnot() -> raw_atomic_long_andnot()

Type Parameter Key Value
PARAM_VALUE 0 i 42
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 0 i $0
DATA_SOURCE 1 v $1
NOCHECK_CALL

lib/sbitmap.c atomic_long_andnot() -> raw_atomic_long_andnot()

Type Parameter Key Value
BUF_SIZE 1 v (-1)-0,8
BUF_SIZE 1 v (-1)-0,8
DATA_SOURCE 0 i $0
DATA_SOURCE 1 v $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &map->swap_lock
HALF_LOCKED2 irq

kernel/locking/rwsem.c atomic_long_andnot() -> raw_atomic_long_andnot()

Type Parameter Key Value
PARAM_VALUE 0 i 2,6
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 0 i $0
DATA_SOURCE 1 v $1
HARD_MAX 0 i 6
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sem->wait_lock
HALF_LOCKED2 irq

kernel/locking/mutex.c atomic_long_andnot() -> raw_atomic_long_andnot()

Type Parameter Key Value
PARAM_VALUE 0 i 7
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 0 i $0
DATA_SOURCE 1 v $1
PREEMPT_ADD
RX_PATH
NOCHECK_CALL
LOCK2 &lock->wait_lock
LOCK2 flags
TYPE_LOCK (struct mutex)->wait_lock

kernel/sched/core.c atomic_long_andnot() -> raw_atomic_long_andnot()

Type Parameter Key Value
PARAM_VALUE 0 i 48
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 0 i $0
DATA_SOURCE 1 v $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq

kernel/unwind/deferred.c atomic_long_andnot() -> raw_atomic_long_andnot()

Type Parameter Key Value
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 0 i $0
DATA_SOURCE 1 v $1
NOCHECK_CALL
LOCK2 _T->lock
LOCK2 rcu_read