Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
drivers/ras/amd/atl/dehash.c dehash_address() -> atl_debug_on_bad_intlv_mode()
| 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 |
| DATA_SOURCE | 0 | ctx | $0 |
| MEM_ZERO | 0 | ctx | |
| PREEMPT_ADD | |||
| NOCHECK_CALL | |||
| 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/dehash.c df3_6chan_dehash_addr() -> atl_debug_on_bad_intlv_mode()
| 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_bit_pos | 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 |
| MEM_ZERO | 0 | ctx | |
| NOCHECK_CALL | |||
| HOST_DATA | 0 | ctx->coh_st_fabric_id | 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 |
| HOST_DATA | 0 | ctx->ret_addr | 0-u64max[c] |
drivers/ras/amd/atl/denormalize.c calculate_coh_st_id() -> atl_debug_on_bad_intlv_mode()
| 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 |
| CAPPED_DATA | 0 | ctx->inputs.die_id | 1 |
| DATA_SOURCE | 0 | ctx | $0 |
| MEM_ZERO | 0 | ctx | |
| NOCHECK_CALL | |||
| 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/denormalize.c check_permutations() -> atl_debug_on_bad_intlv_mode()
| 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 |
| CAPPED_DATA | 0 | ctx->inputs.die_id | 1 |
| DATA_SOURCE | 0 | ctx | $0 |
| MEM_ZERO | 0 | ctx | |
| NOCHECK_CALL | |||
| 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/denormalize.c check_permutations() -> atl_debug_on_bad_intlv_mode()
| 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 |
| CAPPED_DATA | 0 | ctx->inputs.die_id | 1 |
| DATA_SOURCE | 0 | ctx | $0 |
| MEM_ZERO | 0 | ctx | |
| NOCHECK_CALL | |||
| 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/denormalize.c denorm_addr_df4_np2() -> atl_debug_on_bad_intlv_mode()
| 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 |
| MEM_ZERO | 0 | ctx | |
| NOCHECK_CALL | |||
| 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/denormalize.c get_logical_coh_st_fabric_id_for_current_spa() -> atl_debug_on_bad_intlv_mode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 5414201297830039552 |
| PARAM_VALUE | 0 | ctx->inputs.die_id | 0 |
| PARAM_VALUE | 0 | ctx->inputs.socket_id | 0 |
| 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 |
| 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 | 0 | ctx->node_id | 0 |
| DATA_SOURCE | 0 | ctx | $0 |
| NOCHECK_CALL | |||
| 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/denormalize.c init_df4p5_denorm_ctx() -> atl_debug_on_bad_intlv_mode()
| 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 |
| CAPPED_DATA | 0 | ctx->inputs.die_id | 1 |
| DATA_SOURCE | 0 | ctx | $0 |
| MEM_ZERO | 0 | ctx | |
| NOCHECK_CALL | |||
| 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/denormalize.c init_df4p5_denorm_ctx() -> atl_debug_on_bad_intlv_mode()
| 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 |
| CAPPED_DATA | 0 | ctx->inputs.die_id | 1 |
| DATA_SOURCE | 0 | ctx | $0 |
| MEM_ZERO | 0 | ctx | |
| NOCHECK_CALL | |||
| 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/denormalize.c insert_coh_st_id() -> atl_debug_on_bad_intlv_mode()
| 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 |
| CAPPED_DATA | 0 | ctx->inputs.die_id | 1 |
| DATA_SOURCE | 0 | ctx | $0 |
| MEM_ZERO | 0 | ctx | |
| NOCHECK_CALL | |||
| 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/denormalize.c make_space_for_coh_st_id() -> atl_debug_on_bad_intlv_mode()
| 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 |
| CAPPED_DATA | 0 | ctx->inputs.die_id | 1 |
| DATA_SOURCE | 0 | ctx | $0 |
| MEM_ZERO | 0 | ctx | |
| NOCHECK_CALL | |||
| 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/denormalize.c normalize_addr_df4p5_np2() -> atl_debug_on_bad_intlv_mode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 5414201297830039552 |
| PARAM_VALUE | 0 | ctx->inputs.die_id | 0 |
| PARAM_VALUE | 0 | ctx->inputs.socket_id | 0 |
| 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 |
| 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 | 0 | ctx->node_id | 0 |
| DATA_SOURCE | 0 | ctx | $0 |
| NOCHECK_CALL | |||
| 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/denormalize.c normalize_addr_df4p5_np2() -> atl_debug_on_bad_intlv_mode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 5414201297830039552 |
| PARAM_VALUE | 0 | ctx->inputs.die_id | 0 |
| PARAM_VALUE | 0 | ctx->inputs.socket_id | 0 |
| 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 |
| 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 | 0 | ctx->node_id | 0 |
| DATA_SOURCE | 0 | ctx | $0 |
| NOCHECK_CALL | |||
| 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/map.c get_num_intlv_chan() -> atl_debug_on_bad_intlv_mode()
| 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 | 0 |
| PARAM_VALUE | 0 | ctx->map.intlv_mode | 2,4,9-11,15,27-32,34-43,45,47,56-63,74-u32max |
| PARAM_VALUE | 0 | ctx->map.limit | 0 |
| PARAM_VALUE | 0 | ctx->map.num | 0-3 |
| PARAM_VALUE | 0 | *ctx->map.remap_array | 0-255 |
| CAPPED_DATA | 0 | ctx->inputs.die_id | 1 |
| DATA_SOURCE | 0 | ctx | $0 |
| NOCHECK_CALL | |||
| 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.intlv_bit_pos | 0-255[c] |
| HOST_DATA | 0 | ctx->map.intlv_mode | 2,4,9-11,15,27-32,34-43,45,47,56-63,74-u32max[c] |
| HOST_DATA | 0 | ctx->map.limit | 0 |
| HOST_DATA | 0 | ctx->map.np2_bits | 0-255[c] |