Documented in 1 files:
Defined in 1 files as a function:
Referenced in 4 files:
- arch/x86/kernel/pvclock.c, line 108
- include/linux/atomic/atomic-arch-fallback.h
- include/linux/atomic/atomic-instrumented.h, line 2858
- include/linux/atomic/atomic-long.h, line 1458
Smatch caller information:
mm/memcontrol.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 2387336100492754944 |
| PARAM_VALUE | 1 | *old | s64min-(-1),1-s64max |
| PARAM_VALUE | 2 | new | (-9223372036854775807)-0 |
| DATA_SOURCE | 0 | v | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read |
lib/atomic64_test.c raw_atomic64_dec_if_positive() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4852880703011659776 |
| PARAM_VALUE | 1 | old | 9118925191591731200 |
| PARAM_VALUE | 1 | *old | 1229782938533634594 |
| PARAM_VALUE | 2 | new | 1229782938533634593 |
| DATA_SOURCE | 0 | v | $0 |
lib/atomic64_test.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4852880703011659776 |
| PARAM_VALUE | 1 | old | 8720026595986055168 |
| PARAM_VALUE | 1 | *old | s64min,(-6151051535892492275),(-1)-0,1229782938533634594 |
| PARAM_VALUE | 2 | new | (-9223372036854775807),(-6151051535892492274),0-1,1229782938533634595 |
| DATA_SOURCE | 0 | v | $0 |
drivers/md/md-llbitmap.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 7008760633659334656 |
| PARAM_VALUE | 1 | *old | s64min-(-1),1-s64max |
| PARAM_VALUE | 2 | new | (-9223372036854775807)-0 |
| DATA_SOURCE | 0 | v | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read |
io_uring/rsrc.c raw_atomic_long_try_cmpxchg() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 1751475298139521024 |
| PARAM_VALUE | 2 | new | 0-4503599627370495 |
| CAPPED_DATA | 2 | new | 1 |
| CAPPED_DATA | 2 | new | 1 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | old | $1 |
| DATA_SOURCE | 2 | new | $2 |
| RX_PATH | |||
| UNITS | 2 | new | unit_page |
| HALF_LOCKED2 | &ctx->uring_lock |
kernel/entry/common.c raw_atomic_long_try_cmpxchg() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 1401492145688125440 |
| PARAM_VALUE | 2 | new | 0 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | old | $1 |
| DATA_SOURCE | 2 | new | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | irq |
fs/nfs/delegation.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 145718325453238272 |
| PARAM_VALUE | 1 | *old | s64min-(-1),1-s64max |
| PARAM_VALUE | 2 | new | (-9223372036854775807)-0 |
| DATA_SOURCE | 0 | v | $0 |
| PREEMPT_ADD | |||
| LOCK2 | &delegation->lock | ||
| LOCK2 | rcu_read | ||
| TYPE_LOCK | (struct nfs_delegation)->lock |
mm/page-writeback.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 3254647611935608832 |
| PARAM_VALUE | 1 | *old | s64min-(-1),1-s64max |
| PARAM_VALUE | 2 | new | (-9223372036854775807)-0 |
| DATA_SOURCE | 0 | v | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read |
net/core/devmem.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 2224173204661714944 |
| PARAM_VALUE | 1 | *old | s64min-(-1),1-s64max |
| PARAM_VALUE | 2 | new | (-9223372036854775807)-0 |
| DATA_SOURCE | 0 | v | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read |
drivers/md/md.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 2823760925675470848 |
| PARAM_VALUE | 1 | *old | s64min-(-1),1-s64max |
| PARAM_VALUE | 2 | new | (-9223372036854775807)-0 |
| DATA_SOURCE | 0 | v | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &md->io_barrier |
mm/swapfile.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 925211654887739392 |
| PARAM_VALUE | 1 | *old | s64min-(-1),1-s64max |
| PARAM_VALUE | 2 | new | (-9223372036854775807)-0 |
| DATA_SOURCE | 0 | v | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read |
mm/swapfile.c raw_atomic_long_try_cmpxchg() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 2318994525795917824,4075824949997199360 |
| PARAM_VALUE | 1 | *old | 0-4294967295 |
| PARAM_VALUE | 2 | new | 1073741824-5368709119 |
| CAPPED_DATA | 2 | new | 1 |
| CAPPED_DATA | 2 | new | 1 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | old | $1 |
| DATA_SOURCE | 2 | new | $2 |
| BIT_INFO | 2 | new | 0x40000000,0xffffffff |
| BIT_INFO | 2 | new | 0x40000000,0xffffffff |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | global &swap_avail_lock |
kernel/time/posix-cpu-timers.c atomic64_try_cmpxchg() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 6120466838472294400 |
| PARAM_VALUE | 1 | *old | s64min-(-2),0-s64max |
| PARAM_VALUE | 2 | new | s64min-(-1),1-s64max |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | old | $1 |
| DATA_SOURCE | 2 | new | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &timer->it_lock | ||
| HALF_LOCKED2 | &tsk->sighand->siglock | ||
| HALF_LOCKED2 | irq |
block/blk-mq.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 8604983874204790784 |
| PARAM_VALUE | 1 | *old | s64min-(-1),1-s64max |
| PARAM_VALUE | 2 | new | (-9223372036854775807)-0 |
| DATA_SOURCE | 0 | v | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read |
mm/backing-dev.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 4514328470238777344 |
| PARAM_VALUE | 1 | *old | s64min-(-1),1-s64max |
| PARAM_VALUE | 2 | new | (-9223372036854775807)-0 |
| DATA_SOURCE | 0 | v | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &m->lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | global &cgwb_lock | ||
| HALF_LOCKED2 | irq |
fs/aio.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 8034864616382275584 |
| PARAM_VALUE | 1 | *old | s64min-(-1),1-s64max |
| PARAM_VALUE | 2 | new | (-9223372036854775807)-0 |
| DATA_SOURCE | 0 | v | $0 |
| LOCK2 | rcu_read |
net/core/skbuff.c raw_atomic_long_try_cmpxchg() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 7334220749825212416 |
| PARAM_VALUE | 2 | new | 0-4503599627370495 |
| CAPPED_DATA | 2 | new | 1 |
| CAPPED_DATA | 2 | new | 1 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | old | $1 |
| DATA_SOURCE | 2 | new | $2 |
| CAPABLE | 0 | 14 | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | new | unit_page |
kernel/bpf/syscall.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 6381533539066220544 |
| PARAM_VALUE | 1 | *old | s64min-(-1),1-s64max |
| PARAM_VALUE | 2 | new | (-9223372036854775807)-0 |
| DATA_SOURCE | 0 | v | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &seq->lock | ||
| HALF_LOCKED2 | bh |
mm/zswap.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 5689644673402843136 |
| PARAM_VALUE | 1 | *old | s64min-(-1),1-s64max |
| PARAM_VALUE | 2 | new | (-9223372036854775807)-0 |
| DATA_SOURCE | 0 | v | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | global &zswap_pools_lock |
mm/zswap.c raw_atomic_long_try_cmpxchg() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 3755544511127392256 |
| PARAM_VALUE | 2 | new | 0-9223372036854775806 |
| BUF_SIZE | 0 | v | 8 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | old | $1 |
| DATA_SOURCE | 2 | new | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &m->lock |
drivers/iommu/iommufd/pages.c raw_atomic_long_try_cmpxchg() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 4092092991771197440 |
| PARAM_VALUE | 2 | new | 0-4503599627370495 |
| CAPPED_DATA | 2 | new | 1 |
| CAPPED_DATA | 2 | new | 1 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | old | $1 |
| DATA_SOURCE | 2 | new | $2 |
| RX_PATH | |||
| UNITS | 2 | new | unit_page |
| HALF_LOCKED2 | &ictx->ioas_creation_lock | ||
| HALF_LOCKED2 | &pages->mutex |
fs/nfsd/nfssvc.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 8445627060980285440 |
| PARAM_VALUE | 1 | *old | s64min-(-1),1-s64max |
| PARAM_VALUE | 2 | new | (-9223372036854775807)-0 |
| DATA_SOURCE | 0 | v | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read |
kernel/ucount.c raw_atomic64_dec_if_positive() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 4702847545440325632 |
| PARAM_VALUE | 1 | *old | 1-s64max |
| PARAM_VALUE | 2 | new | 0-s64max |
| DATA_SOURCE | 0 | v | $0 |
| FUZZY_MAX | 2 | new | 0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &group->mark_mutex |
kernel/ucount.c raw_atomic_long_try_cmpxchg() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 1496547599177019392 |
| PARAM_VALUE | 1 | *old | s64min-2147483646 |
| PARAM_VALUE | 2 | new | (-9223372036854775807)-s32max |
| CAPPED_DATA | 2 | new | 1 |
| CAPPED_DATA | 2 | new | 1 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | old | $1 |
| DATA_SOURCE | 2 | new | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &group->mark_mutex |
kernel/printk/printk_ringbuffer.c raw_atomic_long_try_cmpxchg() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 3865464208092422144,4077458878392369152,4988204513999183872,5230628965292457984,6930481050113691648,7325683828411396096,8568208861569654784 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | old | $1 |
| DATA_SOURCE | 2 | new | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | new | unit_byte |
| HALF_LOCKED2 | e->irqflags | ||
| HALF_LOCKED2 | irqflags |
drivers/pci/p2pdma.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 235107879509983232 |
| PARAM_VALUE | 1 | *old | s64min-(-1),1-s64max |
| PARAM_VALUE | 2 | new | (-9223372036854775807)-0 |
| DATA_SOURCE | 0 | v | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &of->mutex |
fs/file_table.c raw_atomic_long_try_cmpxchg() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 7414161574144356352 |
| PARAM_VALUE | 1 | *old | 0 |
| PARAM_VALUE | 2 | new | (-2305843009213693952) |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | old | $1 |
| DATA_SOURCE | 2 | new | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ceph/caps.c atomic64_try_cmpxchg() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 5965186954470830080 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | old | $1 |
| DATA_SOURCE | 2 | new | $2 |
arch/x86/kernel/process.c raw_atomic_long_try_cmpxchg() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 6665394786437787648 |
| PARAM_VALUE | 2 | new | 0 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | old | $1 |
| DATA_SOURCE | 2 | new | $2 |
| LOCK2 | irq |
mm/kasan/kasan_test_c.c raw_atomic64_dec_if_positive() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 148163723125297152 |
| PARAM_VALUE | 1 | *old | 1-s64max |
| PARAM_VALUE | 2 | new | 0-s64max |
| DATA_SOURCE | 0 | v | $0 |
| FUZZY_MAX | 2 | new | 0 |
mm/kasan/kasan_test_c.c raw_atomic64_dec_unless_positive() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 3381313025465606144 |
| PARAM_VALUE | 1 | *old | s64min-0 |
| DATA_SOURCE | 0 | v | $0 |
mm/kasan/kasan_test_c.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 5102402340825726976 |
| DATA_SOURCE | 0 | v | $0 |
mm/kasan/kasan_test_c.c raw_atomic64_inc_unless_negative() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 3311911871223095296 |
| PARAM_VALUE | 1 | *old | 0-s64max |
| DATA_SOURCE | 0 | v | $0 |
mm/kasan/kasan_test_c.c raw_atomic_long_try_cmpxchg() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 4096-ptr_max |
| PARAM_VALUE | 2 | new | 42 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | old | $1 |
| DATA_SOURCE | 2 | new | $2 |
arch/x86/kernel/cpu/mce/core.c raw_atomic_long_try_cmpxchg() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 1945427598823342080 |
| PARAM_VALUE | 2 | new | 0 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | old | $1 |
| DATA_SOURCE | 2 | new | $2 |
arch/x86/kernel/traps.c raw_atomic_long_try_cmpxchg() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 9123686695838158848 |
| PARAM_VALUE | 2 | new | 0 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | old | $1 |
| DATA_SOURCE | 2 | new | $2 |
drivers/nvme/target/core.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 2188002059404681216 |
| PARAM_VALUE | 1 | *old | s64min-(-1),1-s64max |
| PARAM_VALUE | 2 | new | (-9223372036854775807)-0 |
| DATA_SOURCE | 0 | v | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &pool->lock |
lib/sbitmap.c raw_atomic_long_try_cmpxchg() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 6205475200957702144 |
| BUF_SIZE | 0 | v | 8 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | old | $1 |
| DATA_SOURCE | 2 | new | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/net/netdevsim/fib.c raw_atomic64_dec_if_positive() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 5089196153398644736 |
| PARAM_VALUE | 1 | *old | 1-s64max |
| PARAM_VALUE | 2 | new | 0-s64max |
| DATA_SOURCE | 0 | v | $0 |
| FUZZY_MAX | 2 | new | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/net/netdevsim/fib.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 8137077729194573824 |
| DATA_SOURCE | 0 | v | $0 |
| RX_PATH | |||
| HALF_LOCKED2 | &data->nh_lock |
fs/fs-writeback.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 4327205404765892608 |
| PARAM_VALUE | 1 | *old | s64min-(-1),1-s64max |
| PARAM_VALUE | 2 | new | (-9223372036854775807)-0 |
| DATA_SOURCE | 0 | v | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &bdi->wb_switch_rwsem | ||
| HALF_LOCKED2 | &sb->s_umount |
kernel/printk/nbcon.c raw_atomic_long_try_cmpxchg() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 2187959437525630976,8806490009770831872 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | old | $1 |
| DATA_SOURCE | 2 | new | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | _T->flags | ||
| HALF_LOCKED2 | flags |
arch/x86/coco/sev/vc-handle.c raw_atomic_long_try_cmpxchg() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 1799171066587774976 |
| PARAM_VALUE | 2 | new | 0 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | old | $1 |
| DATA_SOURCE | 2 | new | $2 |
fs/nfs/flexfilelayout/flexfilelayoutdev.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 5533106992258875392 |
| PARAM_VALUE | 1 | *old | s64min-(-1),1-s64max |
| PARAM_VALUE | 2 | new | (-9223372036854775807)-0 |
| DATA_SOURCE | 0 | v | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read |
net/tls/tls_device.c atomic64_try_cmpxchg() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | new | 0 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | old | $1 |
| DATA_SOURCE | 2 | new | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | sk |
drivers/dma/idxd/submit.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 4433250852482265088 |
| PARAM_VALUE | 1 | *old | s64min-(-1),1-s64max |
| PARAM_VALUE | 2 | new | (-9223372036854775807)-0 |
| DATA_SOURCE | 0 | v | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read |
drivers/target/target_core_alua.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 2816555534533169152 |
| PARAM_VALUE | 1 | *old | s64min-(-1),1-s64max |
| PARAM_VALUE | 2 | new | (-9223372036854775807)-0 |
| DATA_SOURCE | 0 | v | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &tg_pt_gp->tg_pt_gp_lock | ||
| LOCK2 | &tg_pt_gp->tg_pt_gp_transition_mutex | ||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &buffer->mutex | ||
| HALF_LOCKED2 | &frag->frag_sem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct t10_alua_tg_pt_gp)->tg_pt_gp_lock | ||
| TYPE_LOCK | (struct t10_alua_tg_pt_gp)->tg_pt_gp_transition_mutex |
kernel/time/timekeeping.c atomic64_try_cmpxchg() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4116949215864369152 |
| PARAM_VALUE | 1 | old | 8440750918568046592 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | old | $1 |
| DATA_SOURCE | 2 | new | $2 |
drivers/nvme/target/pr.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 8489608257598939136 |
| PARAM_VALUE | 1 | *old | s64min-(-1),1-s64max |
| PARAM_VALUE | 2 | new | (-9223372036854775807)-0 |
| DATA_SOURCE | 0 | v | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &pool->lock |
block/blk-core.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 6980490413370753024 |
| PARAM_VALUE | 1 | *old | s64min-(-1),1-s64max |
| PARAM_VALUE | 2 | new | (-9223372036854775807)-0 |
| DATA_SOURCE | 0 | v | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read |
fs/ceph/inode.c atomic64_try_cmpxchg() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 3165205108933185536 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | old | $1 |
| DATA_SOURCE | 2 | new | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | new | s64min-s64max |
| LOCK2 | &ci->i_ceph_lock | ||
| LOCK2 | &mdsc->snap_rwsem | ||
| HALF_LOCKED2 | &req->r_fill_mutex | ||
| HALF_LOCKED2 | &session->s_mutex | ||
| TYPE_LOCK | (struct ceph_inode_info)->i_ceph_lock | ||
| TYPE_LOCK | (struct ceph_mds_client)->snap_rwsem |
kernel/cgroup/cgroup.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 83552958338793472 |
| PARAM_VALUE | 1 | *old | s64min-(-1),1-s64max |
| PARAM_VALUE | 2 | new | (-9223372036854775807)-0 |
| DATA_SOURCE | 0 | v | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read |
kernel/cgroup/cgroup-v1.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 4941355073456222208 |
| PARAM_VALUE | 1 | *old | s64min-(-1),1-s64max |
| PARAM_VALUE | 2 | new | (-9223372036854775807)-0 |
| DATA_SOURCE | 0 | v | $0 |
| NS_CAPABLE | 0 | 21 | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &fc->uapi_mutex |
drivers/target/target_core_xcopy.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 5703095627480473600 |
| PARAM_VALUE | 1 | *old | s64min-(-1),1-s64max |
| PARAM_VALUE | 2 | new | (-9223372036854775807)-0 |
| DATA_SOURCE | 0 | v | $0 |
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &pool->lock |
kernel/acct.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 36629575838867456 |
| PARAM_VALUE | 1 | *old | s64min-(-1),1-s64max |
| PARAM_VALUE | 2 | new | (-9223372036854775807)-0 |
| DATA_SOURCE | 0 | v | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | global &system_transition_mutex |
kernel/events/core.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 1315659672989552640 |
| PARAM_VALUE | 1 | *old | s64min-(-1),1-s64max |
| PARAM_VALUE | 2 | new | (-9223372036854775807)-0 |
| DATA_SOURCE | 0 | v | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &parent_ctx->mutex | ||
| HALF_LOCKED2 | &parent_event->child_mutex | ||
| HALF_LOCKED2 | &pmu->events_lock | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | rcu_read |
block/blk-cgroup.c atomic64_try_cmpxchg() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 2642183914904432640 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | old | $1 |
| DATA_SOURCE | 2 | new | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING |
block/blk-cgroup.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 1403628315246419968 |
| PARAM_VALUE | 1 | *old | s64min-(-1),1-s64max |
| PARAM_VALUE | 2 | new | (-9223372036854775807)-0 |
| DATA_SOURCE | 0 | v | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read |
arch/x86/entry/syscall_32.c raw_atomic_long_try_cmpxchg() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 5551628119017115648 |
| PARAM_VALUE | 2 | new | 0 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | old | $1 |
| DATA_SOURCE | 2 | new | $2 |
| LOCK2 | irq |
drivers/target/target_core_transport.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 5645383381926055936 |
| PARAM_VALUE | 1 | *old | s64min-(-1),1-s64max |
| PARAM_VALUE | 2 | new | (-9223372036854775807)-0 |
| DATA_SOURCE | 0 | v | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read |
drivers/block/zram/zram_drv.c raw_atomic_long_try_cmpxchg() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 2555843663067082752 |
| PARAM_VALUE | 1 | *old | s64min-(-2),0-s64max |
| PARAM_VALUE | 2 | new | s64min-(-1),1-s64max |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | old | $1 |
| DATA_SOURCE | 2 | new | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &zstrm->lock |
kernel/dma/swiotlb.c raw_atomic_long_try_cmpxchg() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 434787441655873536 |
| PARAM_VALUE | 1 | *old | s64min-(-2),0-s64max |
| PARAM_VALUE | 2 | new | s64min-(-1),1-s64max |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | old | $1 |
| DATA_SOURCE | 2 | new | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 2 | new | 3-256[c] |
| USER_DATA | 2 | new | 3-256[c] |
| HALF_LOCKED2 | rcu_read |
arch/x86/entry/syscall_64.c raw_atomic_long_try_cmpxchg() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 4295016228825612288 |
| PARAM_VALUE | 2 | new | 0 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | old | $1 |
| DATA_SOURCE | 2 | new | $2 |
| LOCK2 | irq |
mm/memremap.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 9055036973406969856 |
| PARAM_VALUE | 1 | *old | s64min-(-1),1-s64max |
| PARAM_VALUE | 2 | new | s64min-4294967294 |
| DATA_SOURCE | 0 | v | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &mm->mmap_lock |
kernel/locking/rwsem.c raw_atomic_long_try_cmpxchg() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 2745872330469511168,8268593127486734336 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | old | $1 |
| DATA_SOURCE | 2 | new | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/target/target_core_device.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 4306591130437779456 |
| PARAM_VALUE | 1 | *old | s64min-(-1),1-s64max |
| PARAM_VALUE | 2 | new | (-9223372036854775807)-0 |
| DATA_SOURCE | 0 | v | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read |
arch/x86/kernel/pvclock.c __pvclock_clocksource_read() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 7389915528527708160 |
| PARAM_VALUE | 1 | old | 1698031840157630464 |
| PARAM_VALUE | 1 | *old | s64min-(-2),0-s64max |
| PARAM_VALUE | 2 | new | s64min-(-1),1-s64max |
| DATA_SOURCE | 2 | new | r __pvclock_read_cycles |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING |
block/blk-iolatency.c atomic64_try_cmpxchg() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 765970923384483840 |
| PARAM_VALUE | 1 | *old | s64min-(-2),0-s64max |
| PARAM_VALUE | 2 | new | s64min-(-1),1-s64max |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | old | $1 |
| DATA_SOURCE | 2 | new | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &bio->bi_bdev->bd_queue->queue_lock | ||
| HALF_LOCKED2 | &cache->background_work_lock | ||
| HALF_LOCKED2 | &head->srcu | ||
| HALF_LOCKED2 | &ic->endio_wait.lock | ||
| HALF_LOCKED2 | &md->io_barrier | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &s->lock | ||
| HALF_LOCKED2 | &sdp->sd_log_flush_lock | ||
| HALF_LOCKED2 | global &bch_register_lock | ||
| HALF_LOCKED2 | irq | ||
| HALF_LOCKED2 | lock.complete_slot | ||
| HALF_LOCKED2 | lock.pending_slot |
block/blk-iolatency.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 6668265979983446016 |
| PARAM_VALUE | 1 | *old | s64min-(-1),1-s64max |
| PARAM_VALUE | 2 | new | (-9223372036854775807)-0 |
| DATA_SOURCE | 0 | v | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read |
kernel/cred.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 3779190010138214400 |
| PARAM_VALUE | 1 | *old | s64min-(-1),1-s64max |
| PARAM_VALUE | 2 | new | (-9223372036854775807)-0 |
| DATA_SOURCE | 0 | v | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &m->lock | ||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | global &cgroup_mutex | ||
| HALF_LOCKED2 | global &oom_lock | ||
| HALF_LOCKED2 | global &rdtgroup_mutex |
drivers/block/nbd.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 873740120331218944 |
| PARAM_VALUE | 1 | *old | s64min-(-1),1-s64max |
| PARAM_VALUE | 2 | new | (-9223372036854775807)-0 |
| DATA_SOURCE | 0 | v | $0 |
| LOCK2 | &pool->lock | ||
| LOCK2 | rcu_read |
drivers/tty/tty_ldsem.c raw_atomic_long_try_cmpxchg() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | old | $1 |
| DATA_SOURCE | 2 | new | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &sem->wait_lock | ||
| HALF_LOCKED2 | irq |
fs/libfs.c atomic64_try_cmpxchg() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 6538613422192513024,7216555069338202112 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | old | $1 |
| DATA_SOURCE | 2 | new | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &inode->i_rwsem |
drivers/target/target_core_pr.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 1158143105405710336 |
| PARAM_VALUE | 1 | *old | s64min-(-1),1-s64max |
| PARAM_VALUE | 2 | new | (-9223372036854775807)-0 |
| DATA_SOURCE | 0 | v | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &dev->se_port_lock | ||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct se_device)->se_port_lock |
block/blk-mq-tag.c raw_atomic64_fetch_add_unless() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 40538923339055104 |
| PARAM_VALUE | 1 | *old | s64min-(-1),1-s64max |
| PARAM_VALUE | 2 | new | (-9223372036854775807)-0 |
| DATA_SOURCE | 0 | v | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | &pool->lock |
drivers/net/ethernet/mellanox/mlx5/core/eswitch.c raw_atomic64_dec_if_positive() -> raw_atomic64_try_cmpxchg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | old | 2462541490513272832 |
| PARAM_VALUE | 1 | *old | 1-s64max |
| PARAM_VALUE | 2 | new | 0-s64max |
| DATA_SOURCE | 0 | v | $0 |
| FUZZY_MAX | 2 | new | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &block->cb_lock | ||
| HALF_LOCKED2 | &flowtable->flow_block_lock |