Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/irq/msi.c msi_domain_prepare_irqs() -> (struct msi_domain_ops)->msi_prepare()

Type Parameter Key Value
PARAM_VALUE 0 domain 4096-ptr_max
PARAM_VALUE 0 domain->host_data 4096-ptr_max
PARAM_VALUE 1 dev 4096-ptr_max
PARAM_VALUE 1 dev->msi.data->__domains 4096-ptr_max
PARAM_VALUE 3 arg 4096-ptr_max
BUF_SIZE 0 domain (-1),376-s32max
BUF_SIZE 0 domain (-1),376-s32max
DATA_SOURCE 0 domain $0
DATA_SOURCE 1 dev $1
DATA_SOURCE 2 nvec $2
DATA_SOURCE 3 arg $3
NOSPEC 2 nvec
NOSPEC 2 nvec
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 2 nvec 2-s32max[c]
USER_DATA 2 nvec 2-s32max[c]
LOCK2 &_T->lock->msi.data->mutex

drivers/cdx/cdx_msi.c cdx_msi_prepare() -> (struct msi_domain_ops)->msi_prepare()

Type Parameter Key Value
PARAM_VALUE 0 domain 4096-ptr_max
PARAM_VALUE 1 dev->msi.domain->msi_parent_ops->bus_select_mask 0,8
PARAM_VALUE 1 dev->msi.domain->msi_parent_ops->bus_select_token 0,3,5,9-10,12-14
PARAM_VALUE 1 dev->msi.domain->msi_parent_ops->chip_flags 0-3
PARAM_VALUE 1 dev->msi.domain->msi_parent_ops->required_flags 0,3,515,1539,2097153,2097155,2097667
PARAM_VALUE 1 dev->msi.domain->msi_parent_ops->supported_flags 0,u16max,131071,196607,262143,1245183,1310719
BUF_SIZE 1 dev (-1),1616
BUF_SIZE 1 dev (-1),1616
DATA_SOURCE 1 dev $1
DATA_SOURCE 2 nvec $2
DATA_SOURCE 3 arg $3
NOSPEC 2 nvec
NOSPEC 2 nvec
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 2 nvec 2-s32max[c]
USER_DATA 2 nvec 2-2147483646[c]
NO_OVERFLOW_SIMPLE 1 dev->cma_area->available_count
NO_OVERFLOW_SIMPLE 1 dev->p->deferred_probe_reason
HALF_LOCKED2 &_T->lock->msi.data->mutex