Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ras/amd/atl/map.c find_normalized_offset() -> get_dram_offset()

Type Parameter Key Value
PARAM_VALUE 0 ctx 5414201297830039552
PARAM_VALUE 0 ctx->inst_id 0-255
PARAM_VALUE 0 ctx->map.num 1-3
PARAM_VALUE 1 norm_offset 161164462431543296
CAPPED_DATA 0 ctx->inputs.die_id 1
CAPPED_DATA 0 ctx->map.num 1
DATA_SOURCE 0 ctx $0
DATA_SOURCE 1 norm_offset $1
PARAM_COMPARE 1 *norm_offset >= $0->ret_addr
MEM_ZERO 0 ctx