Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ras/amd/atl/denormalize.c match_norm_addr() -> normalize_addr_df4p5_np2()

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
PARAM_VALUE 1 denorm_ctx 2938560027106177024
PARAM_VALUE 1 denorm_ctx->base_denorm_addr 0
PARAM_VALUE 1 denorm_ctx->div_addr 0
PARAM_VALUE 1 denorm_ctx->mod_value 3,5
PARAM_VALUE 1 denorm_ctx->perm_shift 1-3
PARAM_VALUE 1 denorm_ctx->rehash_vector 0,256,4352,4864,12544
CAPPED_DATA 0 ctx->inputs.die_id 1
DATA_SOURCE 0 ctx $0
DATA_SOURCE 1 denorm_ctx $1
DATA_SOURCE 2 addr r remove_base_and_hole
MEM_ZERO 1 denorm_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 1 denorm_ctx->coh_st_fabric_id 0[c]
HOST_DATA 1 denorm_ctx->current_spa 0-u64max[c]
HOST_DATA 1 denorm_ctx->resolved_spa 0-u64max[c]
HOST_DATA 2 addr 0-u64max[c]