Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/edac/skx_common.c enable_rrl() -> skx_write_imc_reg()

Type Parameter Key Value
PARAM_VALUE 0 imc 4096-ptr_max
PARAM_VALUE 0 imc->mbase 1-u64max
PARAM_VALUE 1 chan 0-2
PARAM_VALUE 3 width 4,8
CAPPED_DATA 1 chan 1
DATA_SOURCE 0 imc $0
DATA_SOURCE 1 chan $1
NOCHECK_CALL
HOST_DATA 4 val 0-u32max

drivers/edac/skx_common.c skx_show_rrl() -> skx_write_imc_reg()

Type Parameter Key Value
PARAM_VALUE 0 imc 4096-ptr_max
PARAM_VALUE 0 imc->mbase 1-u64max
PARAM_VALUE 1 chan 0
PARAM_VALUE 3 width 4,8
PARAM_VALUE 4 val 0,8-u64max
CAPPED_DATA 4 val 1
FUZZY_MAX 3 width 4
BIT_INFO 4 val 0x0,0xfffffffffffffff8
NOCHECK_CALL
HOST_DATA 4 val 0,8-u64max
HALF_LOCKED2 &attr->mutex