Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

arch/x86/kernel/e820.c e820__reserve_resources_late() -> reserve_region_with_split()

Type Parameter Key Value
PARAM_VALUE 0 root 2936731392875139072
PARAM_VALUE 1 start 0-18446744073709551614
PARAM_VALUE 2 end 1-u64max
PARAM_VALUE 3 name 4290782174539030528
BUF_SIZE 3 name 11
CAPPED_DATA 1 start 1
CAPPED_DATA 1 start 1
STR_LEN 0 root 10
PARAM_COMPARE 1 start < $2
PARAM_COMPARE 2 end > $1
PARAM_COMPARE 2 end > $1
TERMINATED 3 name 1
NOCHECK_CALL
UNITS 1 start unit_byte
UNITS 2 end unit_byte