Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 41 files:

Smatch caller information:

drivers/edac/skx_common.c skx_unregister_mci() -> edac_mc_del_mc()

Type Parameter Key Value
NOCHECK_CALL

drivers/edac/x38_edac.c x38_remove_one() -> edac_mc_del_mc()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/edac/i7300_edac.c i7300_remove_one() -> edac_mc_del_mc()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/edac/igen6_edac.c igen6_unregister_mcis() -> edac_mc_del_mc()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/edac/al_mc_edac.c devm_al_mc_edac_del() -> edac_mc_del_mc()

Type Parameter Key Value
DATA_SOURCE 0 dev $0
NOCHECK_CALL

drivers/edac/ie31200_edac.c ie31200_unregister_mcis() -> edac_mc_del_mc()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/edac/ghes_edac.c ghes_edac_unregister() -> edac_mc_del_mc()

Type Parameter Key Value
LOCK2 global &ghes_reg_mutex

drivers/edac/npcm_edac.c edac_remove() -> edac_mc_del_mc()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex

drivers/edac/pnd2_edac.c pnd2_unregister_mci() -> edac_mc_del_mc()

Type Parameter Key Value
PARAM_VALUE 0 dev 0
NOCHECK_CALL

drivers/edac/e752x_edac.c e752x_remove_one() -> edac_mc_del_mc()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/edac/i82975x_edac.c i82975x_remove_one() -> edac_mc_del_mc()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/edac/i5100_edac.c i5100_remove_one() -> edac_mc_del_mc()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/edac/i5400_edac.c i5400_remove_one() -> edac_mc_del_mc()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/edac/sb_edac.c sbridge_unregister_mci() -> edac_mc_del_mc()

Type Parameter Key Value
NOCHECK_CALL

drivers/edac/i3200_edac.c i3200_remove_one() -> edac_mc_del_mc()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/edac/i3000_edac.c i3000_remove_one() -> edac_mc_del_mc()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/edac/i7core_edac.c i7core_register_mci() -> edac_mc_del_mc()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev 1616
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &i7core_edac_lock

drivers/edac/i7core_edac.c i7core_unregister_mci() -> edac_mc_del_mc()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &i7core_edac_lock

drivers/edac/xgene_edac.c xgene_edac_mc_remove() -> edac_mc_del_mc()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &_dev->mutex
TYPE_LOCK (struct device)->mutex

drivers/edac/amd64_edac.c remove_one_instance() -> edac_mc_del_mc()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max

drivers/edac/versal_edac.c mc_probe() -> edac_mc_del_mc()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 dev->driver_data 4096-ptr_max
PARAM_VALUE 0 dev->of_node 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/edac/versal_edac.c mc_remove() -> edac_mc_del_mc()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex