Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

lib/test_bitmap.c find_first_and_and_bit() -> _find_first_and_and_bit()

Type Parameter Key Value
PARAM_VALUE 0 addr1 0
PARAM_VALUE 1 addr2 0
PARAM_VALUE 2 addr3 0
PARAM_VALUE 3 size 0
DATA_SOURCE 0 addr1 $0
DATA_SOURCE 1 addr2 $1
DATA_SOURCE 2 addr3 $2
DATA_SOURCE 3 size $3

kernel/sched/build_utility.c find_first_and_and_bit() -> _find_first_and_and_bit()

Type Parameter Key Value
BUF_SIZE 0 addr1 1024
BUF_SIZE 0 addr1 1024
BUF_SIZE 1 addr2 1024
BUF_SIZE 1 addr2 1024
BUF_SIZE 2 addr3 1024
BUF_SIZE 2 addr3 1024
DATA_SOURCE 0 addr1 $0
DATA_SOURCE 1 addr2 $1
DATA_SOURCE 2 addr3 $2
DATA_SOURCE 3 size $3
HALF_LOCKED2 irq

kernel/sched/fair.c find_first_and_and_bit() -> _find_first_and_and_bit()

Type Parameter Key Value
PARAM_VALUE 2 addr3 4096-ptr_max
BUF_SIZE 0 addr1 1024
BUF_SIZE 0 addr1 1024
BUF_SIZE 1 addr2 1024
BUF_SIZE 1 addr2 1024
BUF_SIZE 2 addr3 1024
BUF_SIZE 2 addr3 1024
DATA_SOURCE 0 addr1 $0
DATA_SOURCE 1 addr2 $1
DATA_SOURCE 2 addr3 $2
DATA_SOURCE 3 size $3
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 busiest
HALF_LOCKED2 busiest_rq
HALF_LOCKED2 irq
HALF_LOCKED2 rcu_read
HALF_LOCKED2 rf.flags