Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/host/cavium.c cleanup_dma() -> set_bus_id()

Type Parameter Key Value
PARAM_VALUE 0 reg 4412955118506213376
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 *reg 0-u64max
HOST_DATA 1 bus_id 0-s32max[c]
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 &host->irq_handler_lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/mmc/host/cavium.c cvm_mmc_init_lowlevel() -> set_bus_id()

Type Parameter Key Value
PARAM_VALUE 0 reg 3727281297242996736
PARAM_VALUE 0 *reg 0-68719476735
PARAM_VALUE 1 bus_id 0-3
CAPPED_DATA 1 bus_id 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &host->mmc_serializer
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct cvm_mmc_host)->mmc_serializer

drivers/mmc/host/cavium.c cvm_mmc_request() -> set_bus_id()

Type Parameter Key Value
PARAM_VALUE 0 reg 5946949193763196928
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &host->mmc_serializer
TYPE_LOCK (struct cvm_mmc_host)->mmc_serializer

drivers/mmc/host/cavium.c cvm_mmc_reset_bus() -> set_bus_id()

Type Parameter Key Value
PARAM_VALUE 0 reg 8529893983297249280
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 *reg 0-u64max[c]
LOCK2 &host->mmc_serializer
TYPE_LOCK (struct cvm_mmc_host)->mmc_serializer

drivers/mmc/host/cavium.c cvm_mmc_set_ios() -> set_bus_id()

Type Parameter Key Value
PARAM_VALUE 0 reg 2798232369874636800
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 *reg 0-u64max[c]
USER_PTR 0 reg
LOCK2 &host->mmc_serializer
TYPE_LOCK (struct cvm_mmc_host)->mmc_serializer

drivers/mmc/host/cavium.c cvm_mmc_switch_to() -> set_bus_id()

Type Parameter Key Value
PARAM_VALUE 0 reg 702112789344309248
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &host->mmc_serializer
TYPE_LOCK (struct cvm_mmc_host)->mmc_serializer

drivers/mmc/host/cavium.c do_switch() -> set_bus_id()

Type Parameter Key Value
PARAM_VALUE 0 reg 4096-ptr_max
DATA_SOURCE 1 bus_id r get_bus_id
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 *reg 0-u64max[c]
HOST_DATA 1 bus_id 0-s32max[c]
USER_DATA 0 *reg 0-u64max[c]
USER_DATA 1 bus_id 0-s32max[c]
USER_PTR 0 reg
HALF_LOCKED2 &host->mmc_serializer
HALF_LOCKED2 &host->mmc_serializer
TYPE_LOCK (struct cvm_mmc_host)->mmc_serializer

drivers/mmc/host/cavium.c prepare_ext_dma() -> set_bus_id()

Type Parameter Key Value
PARAM_VALUE 0 reg 1670106258744803328
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &host->mmc_serializer
TYPE_LOCK (struct cvm_mmc_host)->mmc_serializer