Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/cdx/controller/mcdi.c cdx_mcdi_rpc_sync() -> cdx_mcdi_rpc_timeout()

Type Parameter Key Value
PARAM_VALUE 0 cdx 4096-ptr_max
PARAM_VALUE 0 cdx->mcdi 1-u64max
PARAM_VALUE 1 cmd 1-9
DATA_SOURCE 0 cdx $0
DATA_SOURCE 1 cmd $1
HARD_MAX 1 cmd 9
RX_PATH
TASK_NOT_RUNNING

drivers/cdx/controller/mcdi.c cdx_mcdi_rpc_sync() -> cdx_mcdi_rpc_timeout()

Type Parameter Key Value
PARAM_VALUE 0 cdx 4096-ptr_max
PARAM_VALUE 0 cdx->mcdi 1-u64max
PARAM_VALUE 0 cdx->mcdi_ops 4096-ptr_max
PARAM_VALUE 1 cmd 1-9
DATA_SOURCE 0 cdx $0
DATA_SOURCE 1 cmd $1
HARD_MAX 1 cmd 9
RX_PATH
TASK_NOT_RUNNING

drivers/cdx/controller/mcdi.c cdx_mcdi_rpc_timeout() -> (struct cdx_mcdi_ops)->mcdi_rpc_timeout()

Type Parameter Key Value
PARAM_VALUE 0 cdx 4096-ptr_max
PARAM_VALUE 0 cdx->mcdi 1-u64max
PARAM_VALUE 0 cdx->mcdi_ops 4096-ptr_max
PARAM_VALUE 0 cdx->mcdi_ops->mcdi_rpc_timeout 6843724774316851200
PARAM_VALUE 1 cmd 1-9
DATA_SOURCE 0 cdx $0
DATA_SOURCE 1 cmd $1
CONTAINER 0 -8-8+0 $(-1)
HARD_MAX 1 cmd 9
RX_PATH
TASK_NOT_RUNNING