Documented in 1 files:

Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

lib/atomic64_test.c test_atomic64() -> atomic64_or()

Type Parameter Key Value
PARAM_VALUE 0 i (-2401053088876082434)
PARAM_VALUE 1 v 4852880703011659776
PARAM_VALUE 1 v->counter (-6151051535892492275)
NOCHECK_CALL

arch/x86/kvm/pmu.c __kvm_pmu_reprogram_counters() -> 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 $1
NOCHECK_CALL

drivers/media/rc/rc-ir-raw.c ir_raw_handler_register() -> 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
NOCHECK_CALL
LOCK2 global &ir_raw_handler_lock

arch/x86/kvm/vmx/pmu_intel.c __kvm_pmu_reprogram_counters() -> 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 $1
NOCHECK_CALL

arch/x86/kvm/svm/svm.c __kvm_pmu_reprogram_counters() -> 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 $1
NOCHECK_CALL

drivers/ntb/hw/epf/ntb_hw_epf.c ntb_epf_vec_isr() -> atomic64_or()

Type Parameter Key Value
PARAM_VALUE 1 v 4096-ptr_max
CAPPED_DATA 0 i 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/pci/endpoint/functions/pci-epf-vntb.c epf_ntb_cmd_handler() -> atomic64_or()

Type Parameter Key Value
PARAM_VALUE 0 i s32min-s32max
PARAM_VALUE 1 v 4096-ptr_max
CAPPED_DATA 0 i 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/pci/endpoint/functions/pci-epf-vntb.c epf_ntb_doorbell_handler() -> atomic64_or()

Type Parameter Key Value
PARAM_VALUE 0 i s32min-s32max
PARAM_VALUE 1 v 4096-ptr_max
CAPPED_DATA 0 i 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/pci/endpoint/functions/pci-epf-vntb.c vntb_epf_peer_db_set() -> atomic64_or()

Type Parameter Key Value
PARAM_VALUE 0 i 1-1073741823
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 0 i $1 [m]
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &pp->lock

arch/x86/kvm/svm/nested.c __kvm_pmu_reprogram_counters() -> 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 $1
NOCHECK_CALL