Documented in 1 files:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
lib/atomic64_test.c atomic64_or() -> raw_atomic64_or()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | i | (-2401053088876082434) |
| PARAM_VALUE | 1 | v | 4852880703011659776 |
| PARAM_VALUE | 1 | v->counter | (-6151051535892492275) |
| DATA_SOURCE | 0 | i | $0 |
| DATA_SOURCE | 1 | v | $1 |
| NOCHECK_CALL |
mm/swapfile.c raw_atomic_long_or() -> raw_atomic64_or()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | i | 1073741824 |
| PARAM_VALUE | 1 | v | 4096-ptr_max |
| DATA_SOURCE | 0 | i | $0 |
| DATA_SOURCE | 1 | v | $1 |
| CAPABLE | 0 | 21 | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| NOCHECK_CALL | |||
| LOCK2 | &si->lock | ||
| LOCK2 | global &swap_avail_lock | ||
| LOCK2 | global &swap_lock | ||
| TYPE_LOCK | (struct swap_info_struct)->lock |
mm/kasan/kasan_test_c.c raw_atomic_long_or() -> raw_atomic64_or()
| 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 |
arch/x86/kvm/pmu.c atomic64_or() -> raw_atomic64_or()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | i | s64min-(-1),1-s64max |
| PARAM_VALUE | 1 | v | 4096-ptr_max |
| DATA_SOURCE | 0 | i | $0 |
| DATA_SOURCE | 1 | v | $1 |
| NOCHECK_CALL |
drivers/media/rc/rc-ir-raw.c atomic64_or() -> raw_atomic64_or()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | i | 28,32,448,3584,4096,24576,1015808,1048576,2097152,8388608,117440512 |
| PARAM_VALUE | 1 | v | 6448174274254921728 |
| DATA_SOURCE | 0 | i | $0 |
| DATA_SOURCE | 1 | v | $1 |
| NOCHECK_CALL | |||
| LOCK2 | global &ir_raw_handler_lock |
arch/x86/kvm/vmx/pmu_intel.c atomic64_or() -> raw_atomic64_or()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | i | s64min-(-1),1-s64max |
| PARAM_VALUE | 1 | v | 4096-ptr_max |
| DATA_SOURCE | 0 | i | $0 |
| DATA_SOURCE | 1 | v | $1 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c atomic64_or() -> raw_atomic64_or()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | i | s64min-(-1),1-s64max |
| PARAM_VALUE | 1 | v | 4096-ptr_max |
| DATA_SOURCE | 0 | i | $0 |
| DATA_SOURCE | 1 | v | $1 |
| NOCHECK_CALL |
kernel/locking/rwsem.c raw_atomic_long_or() -> raw_atomic64_or()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | i | 2 |
| PARAM_VALUE | 1 | v | 4096-ptr_max |
| DATA_SOURCE | 0 | i | $0 |
| DATA_SOURCE | 1 | v | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &sem->wait_lock | ||
| LOCK2 | irq | ||
| TYPE_LOCK | (struct rw_semaphore)->wait_lock |
drivers/iommu/apple-dart.c raw_atomic_long_or() -> raw_atomic64_or()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | v | 4096-ptr_max |
| DATA_SOURCE | 0 | i | $0 |
| DATA_SOURCE | 1 | v | $1 |
| NOCHECK_CALL |
drivers/ntb/hw/epf/ntb_hw_epf.c atomic64_or() -> raw_atomic64_or()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | v | 4096-ptr_max |
| CAPPED_DATA | 0 | i | 1 |
| CAPPED_DATA | 0 | i | 1 |
| DATA_SOURCE | 0 | i | $0 |
| DATA_SOURCE | 1 | v | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq |
kernel/locking/mutex.c raw_atomic_long_or() -> raw_atomic64_or()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | i | 1 |
| PARAM_VALUE | 1 | v | 4096-ptr_max |
| DATA_SOURCE | 0 | i | $0 |
| DATA_SOURCE | 1 | v | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &lock->wait_lock | ||
| LOCK2 | flags | ||
| TYPE_LOCK | (struct mutex)->wait_lock |
drivers/pci/endpoint/functions/pci-epf-vntb.c atomic64_or() -> raw_atomic64_or()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | i | s32min-s32max |
| PARAM_VALUE | 1 | v | 4096-ptr_max |
| CAPPED_DATA | 0 | i | 1 |
| CAPPED_DATA | 0 | i | 1 |
| DATA_SOURCE | 0 | i | $0 |
| DATA_SOURCE | 1 | v | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
arch/x86/kvm/svm/nested.c atomic64_or() -> raw_atomic64_or()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | i | s64min-(-1),1-s64max |
| PARAM_VALUE | 1 | v | 4096-ptr_max |
| DATA_SOURCE | 0 | i | $0 |
| DATA_SOURCE | 1 | v | $1 |
| NOCHECK_CALL |
kernel/unwind/deferred.c raw_atomic_long_or() -> raw_atomic64_or()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | i | 2 |
| PARAM_VALUE | 1 | v | 4096-ptr_max |
| DATA_SOURCE | 0 | i | $0 |
| DATA_SOURCE | 1 | v | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |