Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/firewire/core-cdev.c fw_device_op_mmap() -> fw_iso_buffer_destroy()

Type Parameter Key Value
PARAM_VALUE 0 buffer 4096-ptr_max
PARAM_VALUE 0 buffer->page_count 0-s32max
PARAM_VALUE 0 buffer->pages 16,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 buffer->page_count
LOCK2 _T->lock
HALF_LOCKED2 &ipcp->lock

drivers/firewire/core-cdev.c fw_device_op_release() -> fw_iso_buffer_destroy()

Type Parameter Key Value
PARAM_VALUE 0 buffer 4096-ptr_max
PARAM_VALUE 0 buffer->pages 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock

drivers/firewire/core-iso.c fw_iso_buffer_init() -> fw_iso_buffer_destroy()

Type Parameter Key Value
PARAM_VALUE 0 buffer 4096-ptr_max
PARAM_VALUE 0 buffer->page_count 0-s32max
PARAM_VALUE 0 buffer->pages 16,4096-ptr_max
DATA_SOURCE 0 buffer $0
DATA_SOURCE 1 card $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 buffer->page_count

drivers/media/firewire/firedtv-fw.c fdtv_start_iso() -> fw_iso_buffer_destroy()

Type Parameter Key Value
PARAM_VALUE 0 buffer 4096-ptr_max
PARAM_VALUE 0 buffer->direction 2
PARAM_VALUE 0 buffer->dma_addrs 16,4096-ptr_max
PARAM_VALUE 0 buffer->page_count 16
PARAM_VALUE 0 buffer->pages 4096-ptr_max
PARAM_VALUE 1 card 4096-ptr_max
PARAM_VALUE 1 card->driver 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 buffer->page_count

drivers/media/firewire/firedtv-fw.c fdtv_stop_iso() -> fw_iso_buffer_destroy()

Type Parameter Key Value
PARAM_VALUE 0 buffer 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

sound/firewire/packets-buffer.c iso_packets_buffer_destroy() -> fw_iso_buffer_destroy()

Type Parameter Key Value
PARAM_VALUE 0 buffer 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

drivers/firewire/net.c __fwnet_broadcast_stop() -> fw_iso_buffer_destroy()

Type Parameter Key Value
PARAM_VALUE 0 buffer 4096-ptr_max
PARAM_VALUE 0 buffer->pages 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 buffer->page_count