Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

kernel/range.c add_range_with_merge() -> add_range()

Type Parameter Key Value
PARAM_VALUE 0 range 189015041778294784,345338947817693184,6975710148540637184
PARAM_VALUE 1 az 256,3200
PARAM_VALUE 3 start 0-18446744073709551614
PARAM_VALUE 4 end 1-u64max
BUF_SIZE 0 range 4096,51200
BUF_SIZE 0 range 4096,51200
CAPPED_DATA 2 nr_range 1
CAPPED_DATA 3 start 1
CAPPED_DATA 3 start 1
DATA_SOURCE 0 range $0
DATA_SOURCE 1 az $1
DATA_SOURCE 2 nr_range $2 [m]
DATA_SOURCE 3 start $3 [m]
DATA_SOURCE 4 end $4 [m]
PARAM_COMPARE 3 start < $4
PARAM_COMPARE 4 end > $3
PARAM_COMPARE 4 end > $3
HARD_MAX 1 az 3200
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 3 start unit_page
UNITS 4 end unit_page
HALF_LOCKED2 irq

arch/x86/pci/amd_bus.c early_root_info_init() -> add_range()

Type Parameter Key Value
PARAM_VALUE 0 range 8726834476731379712
PARAM_VALUE 1 az 16
PARAM_VALUE 2 nr_range 0
PARAM_VALUE 3 start 0
PARAM_VALUE 4 end 65536
BUF_SIZE 0 range 256
NOCHECK_CALL

arch/x86/pci/amd_bus.c early_root_info_init() -> add_range()

Type Parameter Key Value
PARAM_VALUE 0 range 8726834476731379712
PARAM_VALUE 1 az 16
PARAM_VALUE 2 nr_range 0
PARAM_VALUE 3 start 0
PARAM_VALUE 4 end 1086626725888
BUF_SIZE 0 range 256
NOCHECK_CALL