Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/edac/zynqmp_edac.c inject_ce_write() -> write_fault_count()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->ce_bitpos 0-63
BUF_SIZE 0 priv 320,1672,1680
BUF_SIZE 0 priv 320,1672,1680
FUZZY_MAX 0 priv->ce_bitpos 32
HARD_MAX 0 priv->ce_bitpos 63
NOCHECK_CALL
USER_DATA 0 priv->ce_bitpos 0-63

drivers/edac/zynqmp_edac.c inject_ue_write() -> write_fault_count()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->ue_bitpos 4096-ptr_max
BUF_SIZE 0 priv 320,1672,1680
BUF_SIZE 0 priv 320,1672,1680
NOCHECK_CALL