Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ras/amd/atl/map.c validate_address_map() -> map_bits_valid()

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 12-14,33
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 1 bit1 8
PARAM_VALUE 2 bit2 9
PARAM_VALUE 3 num_intlv_dies 1
PARAM_VALUE 4 num_intlv_sockets 1
DATA_SOURCE 0 ctx $0
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.intlv_bit_pos 0-255[c]
HOST_DATA 0 ctx->map.limit 0

drivers/ras/amd/atl/map.c validate_address_map() -> map_bits_valid()

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 16-18,44,48-50,64-67
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 1 bit1 8
PARAM_VALUE 2 bit2 8
PARAM_VALUE 3 num_intlv_dies 1
PARAM_VALUE 4 num_intlv_sockets 2
DATA_SOURCE 0 ctx $0
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.intlv_bit_pos 0-255[c]
HOST_DATA 0 ctx->map.limit 0

drivers/ras/amd/atl/map.c validate_address_map() -> map_bits_valid()

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 51-55,68-70,72-73
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 1 bit1 8
PARAM_VALUE 2 bit2 0
PARAM_VALUE 3 num_intlv_dies 1
PARAM_VALUE 4 num_intlv_sockets 1
DATA_SOURCE 0 ctx $0
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.intlv_bit_pos 0-255[c]
HOST_DATA 0 ctx->map.limit 0

drivers/ras/amd/atl/map.c validate_address_map() -> map_bits_valid()

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 46,71
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 1 bit1 8
PARAM_VALUE 2 bit2 0
PARAM_VALUE 3 num_intlv_dies 1
PARAM_VALUE 4 num_intlv_sockets 2
DATA_SOURCE 0 ctx $0
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.intlv_bit_pos 0-255[c]
HOST_DATA 0 ctx->map.limit 0

drivers/ras/amd/atl/map.c validate_address_map() -> map_bits_valid()

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 24-26
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 1 bit1 8
PARAM_VALUE 2 bit2 8
PARAM_VALUE 3 num_intlv_dies 4
PARAM_VALUE 4 num_intlv_sockets 1
DATA_SOURCE 0 ctx $0
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.intlv_bit_pos 0-255[c]
HOST_DATA 0 ctx->map.limit 0