Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/resource.c reserve_region_with_split() -> __reserve_region_with_split()

Type Parameter Key Value
PARAM_VALUE 0 root 2936731392875139072
PARAM_VALUE 3 name 4290782174539030528
BUF_SIZE 3 name 11
BUF_SIZE 3 name 11
CAPPED_DATA 0 root->start 1
CAPPED_DATA 1 start 1
CAPPED_DATA 1 start 1
CAPPED_DATA 2 end 1
CAPPED_DATA 2 end 1
DATA_SOURCE 0 root $0
DATA_SOURCE 1 start $1 [m]
DATA_SOURCE 2 end $2 [m]
DATA_SOURCE 3 name $3
STR_LEN 0 root 10
STR_LEN 0 root 10
PARAM_COMPARE 0 root->start <= $1
PARAM_COMPARE 1 start >= $0->start
PARAM_COMPARE 2 end <= $0->end
PARAM_COMPARE 2 end <= $0->end
TERMINATED 3 name 1
NOCHECK_CALL
UNITS 1 start unit_byte
UNITS 2 end unit_byte
LOCK2 global &resource_lock