Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/ras/amd/atl/denormalize.c check_permutations() -> add_base_and_hole()

Type Parameter Key Value
PARAM_VALUE 0 ctx 5414201297830039552
PARAM_VALUE 0 ctx->inst_id 0-255
PARAM_VALUE 0 ctx->map.base 0
PARAM_VALUE 0 ctx->map.ctl 0
PARAM_VALUE 0 ctx->map.intlv_mode 46,51-55,68-73
PARAM_VALUE 0 ctx->map.limit 0
PARAM_VALUE 0 ctx->map.num 0-3
PARAM_VALUE 0 ctx->map.num_intlv_chan 0-6,8,10,12,16,24,32
PARAM_VALUE 0 ctx->map.total_intlv_bits 0-64
CAPPED_DATA 0 ctx->inputs.die_id 1
DATA_SOURCE 0 ctx $0
BIT_INFO 1 addr 0x0,0xffffffffffffff00
BIT_INFO 1 addr 0x0,0xffffffffffffff00
MEM_ZERO 0 ctx
HOST_DATA 0 ctx->map.base 0
HOST_DATA 0 ctx->map.ctl 0
HOST_DATA 0 ctx->map.intlv 0
HOST_DATA 0 ctx->map.limit 0

drivers/ras/amd/atl/core.c norm_to_sys_addr() -> add_base_and_hole()

Type Parameter Key Value
PARAM_VALUE 0 ctx 5414201297830039552
PARAM_VALUE 0 ctx->inst_id 0-255
PARAM_VALUE 0 ctx->map.base 0
PARAM_VALUE 0 ctx->map.ctl 0
PARAM_VALUE 0 ctx->map.num 0-3
PARAM_VALUE 0 ctx->map.num_intlv_chan 0-6,8,10,12,16,24,32
PARAM_VALUE 0 ctx->map.total_intlv_bits 0-64
MEM_ZERO 0 ctx
HOST_DATA 0 ctx->map.base 0
HOST_DATA 0 ctx->map.ctl 0
HOST_DATA 0 ctx->map.intlv 0
HOST_DATA 0 ctx->map.limit 0
UNITS 1 addr unit_byte

drivers/ras/amd/atl/core.c norm_to_sys_addr() -> add_base_and_hole()

Type Parameter Key Value
PARAM_VALUE 0 ctx 5414201297830039552
PARAM_VALUE 0 ctx->inst_id 0-255
PARAM_VALUE 0 ctx->map.base 0
PARAM_VALUE 0 ctx->map.ctl 0
PARAM_VALUE 0 ctx->map.num 0-3
PARAM_VALUE 0 ctx->map.num_intlv_chan 0-6,8,10,12,16,24,32
PARAM_VALUE 0 ctx->map.total_intlv_bits 0-64
MEM_ZERO 0 ctx
HOST_DATA 0 ctx->map.base 0
HOST_DATA 0 ctx->map.ctl 0
HOST_DATA 0 ctx->map.intlv 0
HOST_DATA 0 ctx->map.limit 0
HOST_DATA 0 ctx->ret_addr 0-u64max[c]
HOST_DATA 1 addr 0-u64max[c]
UNITS 1 addr unit_byte