Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/memblock.c __memblock_find_range_top_down() -> __next_mem_range_rev()

Type Parameter Key Value
PARAM_VALUE 0 idx 336237845181444096
PARAM_VALUE 0 *idx u64max
PARAM_VALUE 2 flags 0,2,64
PARAM_VALUE 3 type_a 992097350480732176
PARAM_VALUE 4 type_b 992097350480732216
PARAM_VALUE 5 out_start 558492107105021952
PARAM_VALUE 6 out_end 5752714331158204416
PARAM_VALUE 7 out_nid 0
DATA_SOURCE 1 nid $4
DATA_SOURCE 2 flags $5
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

mm/memblock.c __memblock_find_range_top_down() -> __next_mem_range_rev()

Type Parameter Key Value
PARAM_VALUE 0 idx 336237845181444096
PARAM_VALUE 0 *idx 0-18446744073709551614
PARAM_VALUE 2 flags 0,2,64
PARAM_VALUE 3 type_a 992097350480732176
PARAM_VALUE 4 type_b 992097350480732216
PARAM_VALUE 5 out_start 558492107105021952
PARAM_VALUE 5 *out_start 4096-u64max
PARAM_VALUE 6 out_end 5752714331158204416
PARAM_VALUE 6 *out_end 4096-u64max
PARAM_VALUE 7 out_nid 0
CAPPED_DATA 1 nid 1
DATA_SOURCE 1 nid $4
DATA_SOURCE 2 flags $5
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 5 *out_start 4096-u64max[c]
USER_DATA 6 *out_end 4096-u64max[c]
NO_OVERFLOW_SIMPLE 6 *out_end
USER_PTR 5 out_start
USER_PTR 6 out_end

kernel/kexec_file.c kexec_walk_memblock() -> __next_mem_range_rev()

Type Parameter Key Value
PARAM_VALUE 0 idx 541103707242070016
PARAM_VALUE 0 *idx u64max
PARAM_VALUE 1 nid (-1)
PARAM_VALUE 2 flags 0
PARAM_VALUE 3 type_a 992097350480732176
PARAM_VALUE 4 type_b 992097350480732216
PARAM_VALUE 5 out_start 6902848726679597056
PARAM_VALUE 6 out_end 8430480276217774080
PARAM_VALUE 7 out_nid 0

kernel/kexec_file.c kexec_walk_memblock() -> __next_mem_range_rev()

Type Parameter Key Value
PARAM_VALUE 0 idx 541103707242070016
PARAM_VALUE 0 *idx 0-18446744073709551614
PARAM_VALUE 1 nid (-1)
PARAM_VALUE 2 flags 0
PARAM_VALUE 3 type_a 992097350480732176
PARAM_VALUE 4 type_b 992097350480732216
PARAM_VALUE 5 out_start 6902848726679597056
PARAM_VALUE 6 out_end 8430480276217774080
PARAM_VALUE 7 out_nid 0
NOCHECK_CALL