Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

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

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.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
DATA_SOURCE 0 ctx $0
PREEMPT_ADD
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]

drivers/ras/amd/atl/core.c remove_base_and_hole() -> get_base_addr()

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
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
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