Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/mucse/rnpgbe/rnpgbe_mbx.c mucse_mbx_get_lock_pf() -> mbx_ctrl_wr32()

Type Parameter Key Value
PARAM_VALUE 0 mbx 4096-ptr_max
PARAM_VALUE 2 value 8
BUF_SIZE 0 mbx 184
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &hw->mbx.lock
TYPE_LOCK (struct mucse_mbx_info)->lock

drivers/net/ethernet/mucse/rnpgbe/rnpgbe_mbx.c mucse_mbx_reset() -> mbx_ctrl_wr32()

Type Parameter Key Value
PARAM_VALUE 0 mbx 4096-ptr_max
PARAM_VALUE 0 mbx->fwpf_ctrl_base 166656,168960
PARAM_VALUE 1 reg 21760
PARAM_VALUE 2 value 0
BUF_SIZE 0 mbx 184
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pdev->dev.mutex
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/mucse/rnpgbe/rnpgbe_mbx.c mucse_mbx_reset() -> mbx_ctrl_wr32()

Type Parameter Key Value
PARAM_VALUE 0 mbx 4096-ptr_max
PARAM_VALUE 0 mbx->fwpf_ctrl_base 166656,168960
PARAM_VALUE 1 reg 22272
PARAM_VALUE 2 value 4294901760
BUF_SIZE 0 mbx 184
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pdev->dev.mutex
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/mucse/rnpgbe/rnpgbe_mbx.c mucse_release_mbx_lock_pf() -> mbx_ctrl_wr32()

Type Parameter Key Value
PARAM_VALUE 0 mbx 4096-ptr_max
PARAM_VALUE 2 value 0-1
BUF_SIZE 0 mbx 184
FUZZY_MAX 2 value 1
HARD_MAX 2 value 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &hw->mbx.lock
TYPE_LOCK (struct mucse_mbx_info)->lock