Defined in 1 files as a prototype:

Defined in 1 files as a macro:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/kexec_file.c locate_mem_hole_bottom_up() -> arch_check_excluded_range()

Type Parameter Key Value
PARAM_VALUE 0 image 4096-ptr_max
CAPPED_DATA 0 image->nr_segments 1
CAPPED_DATA 1 start 1
CAPPED_DATA 1 start 1
CAPPED_DATA 2 end 1
CAPPED_DATA 2 end 1
UNITS 1 start unit_byte
UNITS 2 end unit_byte

kernel/kexec_file.c locate_mem_hole_top_down() -> arch_check_excluded_range()

Type Parameter Key Value
PARAM_VALUE 0 image 4096-ptr_max
CAPPED_DATA 0 image->nr_segments 1
CAPPED_DATA 1 start 1
CAPPED_DATA 1 start 1
CAPPED_DATA 2 end 1
CAPPED_DATA 2 end 1
UNITS 1 start unit_byte
UNITS 2 end unit_byte