Open Menu /

Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/firewire/ohci.c ar_context_abort() -> flush_writes()

Type Parameter Key Value
PARAM_VALUE 0 ohci 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/firewire/ohci.c context_run() -> flush_writes()

Type Parameter Key Value
PARAM_VALUE 0 ohci 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ohci->lock
HALF_LOCKED2 flags

drivers/firewire/ohci.c irq_handler() -> flush_writes()

Type Parameter Key Value
PARAM_VALUE 0 ohci 4096-ptr_max
DATA_SOURCE 0 ohci $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/firewire/ohci.c ohci_disable() -> flush_writes()

Type Parameter Key Value
PARAM_VALUE 0 ohci 4096-ptr_max
BUF_SIZE 0 ohci s32min-(-2),1-s32max
BUF_SIZE 0 ohci s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ohci unit_byte
LOCK2 _T->lock

drivers/firewire/ohci.c ohci_enable() -> flush_writes()

Type Parameter Key Value
PARAM_VALUE 0 ohci 4096-ptr_max
DATA_SOURCE 0 ohci r fw_ohci
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

drivers/firewire/ohci.c ohci_enable() -> flush_writes()

Type Parameter Key Value
PARAM_VALUE 0 ohci 4096-ptr_max
BUF_SIZE 0 ohci->next_config_rom s32min-s32max
DATA_SOURCE 0 ohci r fw_ohci
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ohci->pri_req_max 0-63
HALF_LOCKED2 _T->lock

drivers/firewire/ohci.c ohci_enable_phys_dma() -> flush_writes()

Type Parameter Key Value
PARAM_VALUE 0 ohci 4096-ptr_max
CAPPED_DATA 0 ohci->generation 1
DATA_SOURCE 0 ohci r fw_ohci
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq
LOCK2 0 &ohci->lock
HALF_LOCKED2 &dev->mutex
TYPE_LOCK (struct fw_ohci)->lock

drivers/firewire/ohci.c ohci_stop_iso() -> flush_writes()

Type Parameter Key Value
PARAM_VALUE 0 ohci 4096-ptr_max
DATA_SOURCE 0 ohci r fw_ohci
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

drivers/firewire/ohci.c ohci_write_csr() -> flush_writes()

Type Parameter Key Value
PARAM_VALUE 0 ohci 4096-ptr_max
DATA_SOURCE 0 ohci r fw_ohci
BIT_INFO 0 ohci 0x75b418e33a3ca000,0xffffffffffffffff
BIT_INFO 0 ohci 0x75b418e33a3ca000,0xffffffffffffffff
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/firewire/ohci.c ohci_write_csr() -> flush_writes()

Type Parameter Key Value
PARAM_VALUE 0 ohci 4096-ptr_max
DATA_SOURCE 0 ohci r fw_ohci
BIT_INFO 0 ohci 0x75b418e33a3ca000,0xffffffffffffffff
BIT_INFO 0 ohci 0x75b418e33a3ca000,0xffffffffffffffff
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/firewire/ohci.c ohci_write_csr() -> flush_writes()

Type Parameter Key Value
PARAM_VALUE 0 ohci 4096-ptr_max
DATA_SOURCE 0 ohci r fw_ohci
BIT_INFO 0 ohci 0x75b418e33a3ca000,0xffffffffffffffff
BIT_INFO 0 ohci 0x75b418e33a3ca000,0xffffffffffffffff
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/firewire/ohci.c ohci_write_csr() -> flush_writes()

Type Parameter Key Value
PARAM_VALUE 0 ohci 4096-ptr_max
DATA_SOURCE 0 ohci r fw_ohci
BIT_INFO 0 ohci 0x75b418e33a3ca000,0xffffffffffffffff
BIT_INFO 0 ohci 0x75b418e33a3ca000,0xffffffffffffffff
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/firewire/ohci.c ohci_write_csr() -> flush_writes()

Type Parameter Key Value
PARAM_VALUE 0 ohci 4096-ptr_max
DATA_SOURCE 0 ohci r fw_ohci
BIT_INFO 0 ohci 0x75b418e33a3ca000,0xffffffffffffffff
BIT_INFO 0 ohci 0x75b418e33a3ca000,0xffffffffffffffff
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/firewire/ohci.c ohci_write_csr() -> flush_writes()

Type Parameter Key Value
PARAM_VALUE 0 ohci 4096-ptr_max
DATA_SOURCE 0 ohci r fw_ohci
BIT_INFO 0 ohci 0x75b418e33a3ca000,0xffffffffffffffff
BIT_INFO 0 ohci 0x75b418e33a3ca000,0xffffffffffffffff
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock