Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/edac/amd64_edac.c decode_bus_error() -> (struct low_ops)->map_sysaddr_to_csrow()

Type Parameter Key Value
PARAM_VALUE 0 mci 4096-ptr_max
PARAM_VALUE 0 mci->pvt_info 4096-ptr_max
PARAM_VALUE 1 sys_addr 0,2-281474976710654
PARAM_VALUE 2 err 810659675828465664
CAPPED_DATA 0 mci->mc_idx 1
CAPPED_DATA 1 sys_addr 1
CAPPED_DATA 1 sys_addr 1
DATA_SOURCE 0 mci r edac_mc_find
DATA_SOURCE 1 sys_addr r get_error_address
MEM_ZERO 2 err
NOCHECK_CALL
HOST_DATA 1 sys_addr 117440512,117440514-134217726[c]