Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/media/usb/pvrusb2/pvrusb2-dvb.c pvr2_dvb_feed_func() -> pvr2_stream_get_ready_buffer()

Type Parameter Key Value

drivers/media/usb/pvrusb2/pvrusb2-io.c pvr2_stream_kill() -> pvr2_stream_get_ready_buffer()

Type Parameter Key Value
PARAM_VALUE 0 sp 4096-ptr_max
CAPPED_DATA 0 sp->buffer_target_count 1
CAPPED_DATA 0 sp->queued_list.next 1
CAPPED_DATA 0 &sp->mutex 1
DATA_SOURCE 0 sp $0
PARAM_COMPARE 0 &sp->queued_list == $0->queued_list.next
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sp->buffer_slot_count
LOCK2 0 &sp->mutex
HALF_LOCKED2 &cp->mutex
TYPE_LOCK (struct pvr2_stream)->mutex

drivers/media/usb/pvrusb2/pvrusb2-io.c pvr2_stream_kill() -> pvr2_stream_get_ready_buffer()

Type Parameter Key Value
PARAM_VALUE 0 sp 4096-ptr_max
CAPPED_DATA 0 sp->buffer_target_count 1
CAPPED_DATA 0 sp->queued_list.next 1
CAPPED_DATA 0 &sp->mutex 1
DATA_SOURCE 0 sp $0
PARAM_COMPARE 0 &sp->queued_list == $0->queued_list.next
PARAM_COMPARE 0 &sp->ready_list != $0->ready_list.next
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sp->buffer_slot_count
LOCK2 0 &sp->mutex
HALF_LOCKED2 &cp->mutex
TYPE_LOCK (struct pvr2_stream)->mutex

drivers/media/usb/pvrusb2/pvrusb2-ioread.c pvr2_ioread_get_buffer() -> pvr2_stream_get_ready_buffer()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sp->buffer_slot_count
LOCK2 &cp->mutex
TYPE_LOCK (struct pvr2_ioread)->mutex