Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
arch/x86/kernel/cpu/topology.c find_next_andnot_bit() -> _find_next_andnot_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | addr2 | 3484874472701042688 |
| PARAM_VALUE | 2 | nbits | 32768 |
| BUF_SIZE | 0 | addr1 | 4096 |
| BUF_SIZE | 0 | addr1 | 4096 |
| BUF_SIZE | 1 | addr2 | 4096 |
| BUF_SIZE | 1 | addr2 | 4096 |
| DATA_SOURCE | 0 | addr1 | $0 |
| DATA_SOURCE | 1 | addr2 | $1 |
| DATA_SOURCE | 2 | nbits | $2 |
| DATA_SOURCE | 3 | start | $3 |
| LOCK2 | irq |
lib/tests/cpumask_kunit.c find_next_andnot_bit() -> _find_next_andnot_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr1 | 4096-ptr_max |
| PARAM_VALUE | 1 | addr2 | 4096-ptr_max |
| PARAM_VALUE | 2 | nbits | 1-64 |
| PARAM_VALUE | 3 | start | 0-s32max |
| BUF_SIZE | 0 | addr1 | 1024 |
| BUF_SIZE | 0 | addr1 | 1024 |
| BUF_SIZE | 1 | addr2 | 1024 |
| BUF_SIZE | 1 | addr2 | 1024 |
| CAPPED_DATA | 2 | nbits | 1 |
| CAPPED_DATA | 2 | nbits | 1 |
| DATA_SOURCE | 0 | addr1 | $0 |
| DATA_SOURCE | 1 | addr2 | $1 |
| DATA_SOURCE | 2 | nbits | $2 |
| DATA_SOURCE | 3 | start | $3 |
lib/test_bitmap.c find_next_andnot_bit() -> _find_next_andnot_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr1 | 0 |
| PARAM_VALUE | 1 | addr2 | 0 |
| PARAM_VALUE | 2 | nbits | 0 |
| PARAM_VALUE | 3 | start | 0 |
| DATA_SOURCE | 0 | addr1 | $0 |
| DATA_SOURCE | 1 | addr2 | $1 |
| DATA_SOURCE | 2 | nbits | $2 |
| DATA_SOURCE | 3 | start | $3 |
drivers/gpio/gpio-pca953x.c find_next_andnot_bit() -> _find_next_andnot_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr1 | 6828742695520796672 |
| PARAM_VALUE | 1 | addr2 | 6621672078205521920 |
| PARAM_VALUE | 2 | nbits | 0-u16max |
| PARAM_VALUE | 3 | start | 0-s32max |
| DATA_SOURCE | 0 | addr1 | $0 |
| DATA_SOURCE | 1 | addr2 | $1 |
| DATA_SOURCE | 2 | nbits | $2 |
| DATA_SOURCE | 3 | start | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | _T->lock |
arch/x86/kernel/smpboot.c find_next_andnot_bit() -> _find_next_andnot_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | nbits | 0-8193 |
| PARAM_VALUE | 3 | start | 0-u32max |
| BUF_SIZE | 0 | addr1 | 1024 |
| BUF_SIZE | 0 | addr1 | 1024 |
| BUF_SIZE | 1 | addr2 | 1024 |
| BUF_SIZE | 1 | addr2 | 1024 |
| DATA_SOURCE | 0 | addr1 | $0 |
| DATA_SOURCE | 1 | addr2 | $1 |
| DATA_SOURCE | 2 | nbits | $2 |
| DATA_SOURCE | 3 | start | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | irq | ||
| HALF_LOCKED2 | global &mem_enc_lock | ||
| HALF_LOCKED2 | global &system_transition_mutex |
fs/resctrl/ctrlmondata.c find_next_andnot_bit() -> _find_next_andnot_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | start | 0-s32max,18446744071562067968-u64max |
| BUF_SIZE | 0 | addr1 | 1024 |
| BUF_SIZE | 0 | addr1 | 1024 |
| BUF_SIZE | 1 | addr2 | 1024 |
| BUF_SIZE | 1 | addr2 | 1024 |
| CAPPED_DATA | 3 | start | 1 |
| CAPPED_DATA | 3 | start | 1 |
| DATA_SOURCE | 0 | addr1 | $0 |
| DATA_SOURCE | 1 | addr2 | $1 |
| DATA_SOURCE | 2 | nbits | $2 |
| DATA_SOURCE | 3 | start | $3 |
kernel/sched/core.c find_next_andnot_bit() -> _find_next_andnot_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | nbits | 0-64 |
| PARAM_VALUE | 3 | start | 0-s32max |
| BUF_SIZE | 0 | addr1 | 1024 |
| BUF_SIZE | 0 | addr1 | 1024 |
| BUF_SIZE | 1 | addr2 | 1024 |
| BUF_SIZE | 1 | addr2 | 1024 |
| CAPPED_DATA | 2 | nbits | 1 |
| CAPPED_DATA | 2 | nbits | 1 |
| DATA_SOURCE | 0 | addr1 | $0 |
| DATA_SOURCE | 1 | addr2 | $1 |
| DATA_SOURCE | 2 | nbits | $2 |
| DATA_SOURCE | 3 | start | $3 |
| LOCK2 | global &sched_core_mutex |
fs/resctrl/monitor.c find_next_andnot_bit() -> _find_next_andnot_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | start | 0-s32max,18446744071562067968-u64max |
| BUF_SIZE | 0 | addr1 | 1024 |
| BUF_SIZE | 0 | addr1 | 1024 |
| BUF_SIZE | 1 | addr2 | 1024 |
| BUF_SIZE | 1 | addr2 | 1024 |
| CAPPED_DATA | 3 | start | 1 |
| CAPPED_DATA | 3 | start | 1 |
| DATA_SOURCE | 0 | addr1 | $0 |
| DATA_SOURCE | 1 | addr2 | $1 |
| DATA_SOURCE | 2 | nbits | $2 |
| DATA_SOURCE | 3 | start | $3 |