Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a member:

Defined in 4 files as a function:

Referenced in 12 files:

Smatch caller information:

drivers/char/hw_random/virtio-rng.c virtio_read() -> copy_data()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->data_avail 1-u32max
PARAM_VALUE 0 channel->hwrng_removed 0
DATA_SOURCE 1 mbo $1
DATA_SOURCE 2 dma $2

drivers/char/hw_random/virtio-rng.c virtio_read() -> copy_data()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->data_avail 1-u32max
PARAM_VALUE 0 channel->data_idx 0-127
PARAM_VALUE 0 channel->have_data.done 0-4294967293,u32max
PARAM_VALUE 0 channel->have_data.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 channel->have_data.wait.lock.owner (-1)
PARAM_VALUE 0 channel->have_data.wait.lock.owner_cpu u32max
PARAM_VALUE 0 channel->have_data.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 channel->have_data.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 channel->hwrng_removed 0
PARAM_VALUE 1 mbo 4096-ptr_max
DATA_SOURCE 2 dma $2
UNITS 2 dma unit_byte

drivers/infiniband/sw/rxe/rxe_req.c finish_packet() -> copy_data()

Type Parameter Key Value
PARAM_VALUE 1 mbo 0
PARAM_VALUE 2 dma 4096-ptr_max
PARAM_VALUE 5 dir 1
CAPPED_DATA 4 length 1
DATA_SOURCE 4 length $5
RX_PATH
TASK_NOT_RUNNING
UNITS 4 length unit_byte
HALF_LOCKED2 &pool->lock

drivers/most/most_snd.c audio_rx_completion() -> copy_data()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->iface 4096-ptr_max
PARAM_VALUE 0 channel->is_stream_running 1
PARAM_VALUE 1 mbo 4096-ptr_max
PARAM_VALUE 1 mbo->context 4096-ptr_max
PARAM_VALUE 1 mbo->ifp 4096-ptr_max
PARAM_VALUE 1 mbo->ifp->priv 4096-ptr_max
PARAM_VALUE 1 mbo->status 0
BUF_SIZE 1 mbo s32min-(-1),1-s32max
BUF_SIZE 1 mbo s32min-(-1),1-s32max
CAPPED_DATA 0 channel->id 1
CAPPED_DATA 0 channel->iface 1
CAPPED_DATA 1 mbo->hdm_channel_id 1
CAPPED_DATA 1 mbo->ifp 1
DATA_SOURCE 0 channel r get_channel
DATA_SOURCE 1 mbo $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 mbo->processed_length 0-u16max[c]
NO_OVERFLOW_SIMPLE 1 mbo->processed_length

drivers/most/most_snd.c playback_thread() -> copy_data()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->iface 4096-ptr_max
PARAM_VALUE 0 channel->iface->p 4096-ptr_max
PARAM_VALUE 0 channel->is_stream_running 1
PARAM_VALUE 1 mbo 4096-ptr_max
PARAM_VALUE 1 mbo->num_buffers_ptr 4096-ptr_max
BUF_SIZE 0 channel 128
BUF_SIZE 0 channel 128
DATA_SOURCE 0 channel $0
DATA_SOURCE 1 mbo r most_get_mbo
HOST_DATA 0 channel->substream->runtime->private_data->core.tc.cycle_last s64min-s64max
HOST_DATA 0 channel->substream->snapshot.cycles s64min-s64max

kernel/printk/printk_ringbuffer.c prb_read() -> copy_data()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->size_bits 0-63
PARAM_VALUE 1 mbo 1462078056807026696
PARAM_VALUE 5 dir 0,616684055181684736,2805285970321838080,5047158690956308480
BUF_SIZE 3 addr 132,201,512,1024,2048
DATA_SOURCE 5 dir $3
RX_PATH
TASK_NOT_RUNNING
UNITS 2 dma unit_byte
UNITS 3 addr unit_byte
UNITS 4 length unit_byte

drivers/infiniband/sw/rxe/rxe_comp.c do_atomic() -> copy_data()

Type Parameter Key Value
PARAM_VALUE 1 mbo 1
PARAM_VALUE 2 dma 184
PARAM_VALUE 3 addr 2987128383620485120
PARAM_VALUE 4 length 8
PARAM_VALUE 5 dir 0
BUF_SIZE 3 addr 8
RX_PATH
TASK_NOT_RUNNING
UNITS 4 length unit_byte
HALF_LOCKED2 &pool->lock

drivers/infiniband/sw/rxe/rxe_comp.c do_read() -> copy_data()

Type Parameter Key Value
PARAM_VALUE 1 mbo 1
PARAM_VALUE 2 dma 184
PARAM_VALUE 5 dir 0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

drivers/infiniband/sw/rxe/rxe_resp.c send_data_in() -> copy_data()

Type Parameter Key Value
PARAM_VALUE 1 mbo 1
PARAM_VALUE 2 dma 4096-ptr_max
PARAM_VALUE 3 addr 4096-ptr_max
PARAM_VALUE 5 dir 0
BUF_SIZE 3 addr (-1),40
BUF_SIZE 3 addr (-1),40
DATA_SOURCE 3 addr $1
DATA_SOURCE 4 length $2
RX_PATH
TASK_NOT_RUNNING
UNITS 4 length unit_byte
HALF_LOCKED2 &pool->lock