Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ras/amd/atl/denormalize.c denorm_addr_common() -> insert_coh_st_id()

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 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
PARAM_VALUE 2 coh_st_id u16max
DATA_SOURCE 0 ctx $0
DATA_SOURCE 1 denorm_addr r make_space_for_coh_st_id
DATA_SOURCE 2 coh_st_id r calculate_coh_st_id
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