Documented in 1 files:

Defined in 1 files as a function:

Referenced in 13 files:

Smatch caller information:

drivers/edac/zynqmp_edac.c handle_error() -> edac_device_handle_ce()

Type Parameter Key Value
PARAM_VALUE 0 edac_dev 4096-ptr_max
PARAM_VALUE 0 edac_dev->pvt_info 4096-ptr_max
PARAM_VALUE 1 inst_nr 0
PARAM_VALUE 2 block_nr 0
BUF_SIZE 3 msg 256
DATA_SOURCE 0 edac_dev $0
STR_LEN 0 edac_dev 255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/edac/xgene_edac.c xgene_edac_iob_gic_report() -> edac_device_handle_ce()

Type Parameter Key Value
PARAM_VALUE 0 edac_dev 4096-ptr_max
PARAM_VALUE 0 edac_dev->dev 0,4096-ptr_max
PARAM_VALUE 0 edac_dev->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 edac_dev->dev->class 0,4096-ptr_max
PARAM_VALUE 0 edac_dev->dev->driver 0,4096-ptr_max
PARAM_VALUE 0 edac_dev->pvt_info 4096-ptr_max
PARAM_VALUE 1 inst_nr 0
PARAM_VALUE 2 block_nr 0
BUF_SIZE 3 msg 11,13-14
DATA_SOURCE 0 edac_dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &device_ctls_mutex

drivers/edac/xgene_edac.c xgene_edac_l3_check() -> edac_device_handle_ce()

Type Parameter Key Value
PARAM_VALUE 0 edac_dev 4096-ptr_max
PARAM_VALUE 0 edac_dev->dev 0,4096-ptr_max
PARAM_VALUE 0 edac_dev->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 edac_dev->dev->class 0,4096-ptr_max
PARAM_VALUE 0 edac_dev->dev->driver 0,4096-ptr_max
PARAM_VALUE 0 edac_dev->pvt_info 4096-ptr_max
PARAM_VALUE 1 inst_nr 0
PARAM_VALUE 2 block_nr 0
BUF_SIZE 3 msg 11,13-14
DATA_SOURCE 0 edac_dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &device_ctls_mutex

drivers/edac/xgene_edac.c xgene_edac_pmd_l1_check() -> edac_device_handle_ce()

Type Parameter Key Value
PARAM_VALUE 0 edac_dev 4096-ptr_max
PARAM_VALUE 0 edac_dev->dev 0,4096-ptr_max
PARAM_VALUE 0 edac_dev->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 edac_dev->dev->class 0,4096-ptr_max
PARAM_VALUE 0 edac_dev->dev->driver 0,4096-ptr_max
PARAM_VALUE 0 edac_dev->pvt_info 4096-ptr_max
PARAM_VALUE 1 inst_nr 0
PARAM_VALUE 2 block_nr 0
BUF_SIZE 3 msg 11,13-14
DATA_SOURCE 0 edac_dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &device_ctls_mutex

drivers/edac/xgene_edac.c xgene_edac_pmd_l1_check() -> edac_device_handle_ce()

Type Parameter Key Value
PARAM_VALUE 0 edac_dev 4096-ptr_max
PARAM_VALUE 0 edac_dev->dev 0,4096-ptr_max
PARAM_VALUE 0 edac_dev->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 edac_dev->dev->class 0,4096-ptr_max
PARAM_VALUE 0 edac_dev->dev->driver 0,4096-ptr_max
PARAM_VALUE 0 edac_dev->pvt_info 4096-ptr_max
PARAM_VALUE 1 inst_nr 0
PARAM_VALUE 2 block_nr 0
BUF_SIZE 3 msg 11,13-14
DATA_SOURCE 0 edac_dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &device_ctls_mutex

drivers/edac/xgene_edac.c xgene_edac_pmd_l1_check() -> edac_device_handle_ce()

Type Parameter Key Value
PARAM_VALUE 0 edac_dev 4096-ptr_max
PARAM_VALUE 0 edac_dev->dev 0,4096-ptr_max
PARAM_VALUE 0 edac_dev->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 edac_dev->dev->class 0,4096-ptr_max
PARAM_VALUE 0 edac_dev->dev->driver 0,4096-ptr_max
PARAM_VALUE 0 edac_dev->pvt_info 4096-ptr_max
PARAM_VALUE 1 inst_nr 0
PARAM_VALUE 2 block_nr 0
BUF_SIZE 3 msg 11,13-14
DATA_SOURCE 0 edac_dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &device_ctls_mutex

drivers/edac/xgene_edac.c xgene_edac_pmd_l2_check() -> edac_device_handle_ce()

Type Parameter Key Value
PARAM_VALUE 0 edac_dev 4096-ptr_max
PARAM_VALUE 0 edac_dev->dev 0,4096-ptr_max
PARAM_VALUE 0 edac_dev->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 edac_dev->dev->class 0,4096-ptr_max
PARAM_VALUE 0 edac_dev->dev->driver 0,4096-ptr_max
PARAM_VALUE 0 edac_dev->pvt_info 4096-ptr_max
PARAM_VALUE 1 inst_nr 0
PARAM_VALUE 2 block_nr 0
BUF_SIZE 3 msg 11,13-14
DATA_SOURCE 0 edac_dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &device_ctls_mutex

drivers/edac/xgene_edac.c xgene_edac_soc_check() -> edac_device_handle_ce()

Type Parameter Key Value
PARAM_VALUE 0 edac_dev 4096-ptr_max
PARAM_VALUE 0 edac_dev->dev 0,4096-ptr_max
PARAM_VALUE 0 edac_dev->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 edac_dev->dev->class 0,4096-ptr_max
PARAM_VALUE 0 edac_dev->dev->driver 0,4096-ptr_max
PARAM_VALUE 0 edac_dev->pvt_info 4096-ptr_max
PARAM_VALUE 1 inst_nr 0
PARAM_VALUE 2 block_nr 0
BUF_SIZE 3 msg 11,13-14
DATA_SOURCE 0 edac_dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &device_ctls_mutex