Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/uio/uio_hv_generic.c hv_uio_new_channel() -> hv_create_ring_sysfs()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->callback_mode 2
PARAM_VALUE 0 channel->channel_callback_context 4096-ptr_max
PARAM_VALUE 0 channel->inbound.ring_buffer 0
PARAM_VALUE 0 channel->kobj.sd->active.counter (-2147483647)
PARAM_VALUE 0 channel->kobj.sd->attr.notify_next 0,426918848001064960
PARAM_VALUE 0 channel->max_pkt_size 1-u32max
PARAM_VALUE 0 channel->onchannel_callback 3501775397551419392
PARAM_VALUE 0 channel->outbound.ring_buffer 0
PARAM_VALUE 0 channel->primary_channel 4096-ptr_max
PARAM_VALUE 0 channel->primary_channel->sc_creation_callback 1-u64max
PARAM_VALUE 0 channel->requestor.next_request_id 0
PARAM_VALUE 0 channel->requestor.req_arr 4096-ptr_max
PARAM_VALUE 0 channel->requestor.req_bitmap 16,4096-ptr_max
PARAM_VALUE 0 channel->requestor.size 1-u32max
PARAM_VALUE 0 channel->rescind 0
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.buffer 18379471554275704832,18446612682070032384
PARAM_VALUE 0 channel->ringbuffer_gpadlhandle.size 0,4096-4294963200
PARAM_VALUE 0 channel->ringbuffer_page 4096-ptr_max
PARAM_VALUE 0 channel->ringbuffer_pagecount 0-1048575
PARAM_VALUE 0 channel->ringbuffer_send_offset 0-1048575
PARAM_VALUE 0 channel->state 3
PARAM_VALUE 1 hv_mmap_prepare_ring_buffer 6672765399233593344
DATA_SOURCE 0 channel $0
NO_OVERFLOW_SIMPLE 0 channel->requestor.size
NO_OVERFLOW_SIMPLE 0 channel->rqstor_size
HALF_LOCKED2 &pool->lock

drivers/uio/uio_hv_generic.c hv_uio_probe() -> hv_create_ring_sysfs()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->callback_mode 2
PARAM_VALUE 0 channel->ringbuffer_page 4096-ptr_max
PARAM_VALUE 0 channel->ringbuffer_pagecount 0-1048575
PARAM_VALUE 0 channel->ringbuffer_send_offset 0-1048575
PARAM_VALUE 1 hv_mmap_prepare_ring_buffer 6672765399233593344
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL