Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/pci/msi/irqdomain.c pci_msix_mask() -> pci_msix_write_vector_ctrl()

Type Parameter Key Value
PARAM_VALUE 0 desc 4096-ptr_max
DATA_SOURCE 0 desc $0
BIT_INFO 0 desc->pci.msix_ctrl 0x1,0xffffffff
BIT_INFO 1 ctrl 0x1,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/pci/msi/irqdomain.c pci_msix_unmask() -> pci_msix_write_vector_ctrl()

Type Parameter Key Value
PARAM_VALUE 0 desc 4096-ptr_max
PARAM_VALUE 0 desc->pci.msix_ctrl 0,2-u32max
PARAM_VALUE 1 ctrl 0,2-u32max
DATA_SOURCE 0 desc $0
BIT_INFO 0 desc->pci.msix_ctrl 0x0,0xfffffffe
BIT_INFO 1 ctrl 0x0,0xfffffffe
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/pci/msi/msi.c __pci_restore_msix_state() -> pci_msix_write_vector_ctrl()

Type Parameter Key Value
PARAM_VALUE 0 desc 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &_T->lock->msi.data->mutex
HALF_LOCKED2 &adev->pm.mutex
HALF_LOCKED2 &ctl->lock
HALF_LOCKED2 &dev->dev.mutex

drivers/pci/msi/msi.c pci_msix_mask() -> pci_msix_write_vector_ctrl()

Type Parameter Key Value
PARAM_VALUE 0 desc 4096-ptr_max
DATA_SOURCE 0 desc $0
BIT_INFO 0 desc->pci.msix_ctrl 0x1,0xffffffff
BIT_INFO 1 ctrl 0x1,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_T->lock->msi.data->mutex

drivers/pci/msi/msi.c pci_msix_unmask() -> pci_msix_write_vector_ctrl()

Type Parameter Key Value
PARAM_VALUE 0 desc 4096-ptr_max
PARAM_VALUE 0 desc->pci.msix_ctrl 0,2-u32max
PARAM_VALUE 1 ctrl 0,2-u32max
DATA_SOURCE 0 desc $0
BIT_INFO 0 desc->pci.msix_ctrl 0x0,0xfffffffe
BIT_INFO 1 ctrl 0x0,0xfffffffe
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->lock
HALF_LOCKED2 _T->flags

drivers/pci/msi/msi.c pci_msix_write_tph_tag() -> pci_msix_write_vector_ctrl()

Type Parameter Key Value
PARAM_VALUE 0 desc 4096-ptr_max
NOCHECK_CALL
LOCK2 &_T->lock->msi.data->mutex
HALF_LOCKED2 &bp->dev->lock
HALF_LOCKED2 &st->lock

drivers/pci/msi/msi.c pci_write_msg_msix() -> pci_msix_write_vector_ctrl()

Type Parameter Key Value
PARAM_VALUE 0 desc 4096-ptr_max
DATA_SOURCE 0 desc $0
BIT_INFO 1 ctrl 0x1,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_T->lock->msi.data->mutex
HALF_LOCKED2 &vdev->memory_lock

drivers/pci/msi/msi.c pci_write_msg_msix() -> pci_msix_write_vector_ctrl()

Type Parameter Key Value
PARAM_VALUE 0 desc 4096-ptr_max
DATA_SOURCE 0 desc $0
BIT_INFO 1 ctrl 0x0,0xfffffffe
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_T->lock->msi.data->mutex
HALF_LOCKED2 &vdev->memory_lock