Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/media/usb/gspca/ov519.c ov518_configure() -> reg_w_mask()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->revision 0-31
PARAM_VALUE 1 index 87
PARAM_VALUE 2 value 0
PARAM_VALUE 3 mask 2
BUF_SIZE 0 sd s32min-(-2),1-s32max
BUF_SIZE 0 sd s32min-(-2),1-s32max
DATA_SOURCE 0 sd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &gspca_dev->usb_lock

drivers/media/usb/gspca/ov519.c ov518_mode_init_regs() -> reg_w_mask()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->bridge 2
PARAM_VALUE 0 sd->gspca_dev.dev 4096-ptr_max
PARAM_VALUE 0 sd->gspca_dev.dev->actconfig 0,4096-ptr_max
PARAM_VALUE 1 index 32
PARAM_VALUE 2 value 8
PARAM_VALUE 3 mask 8
BUF_SIZE 0 sd s32min-(-2),1-s32max
BUF_SIZE 0 sd s32min-(-2),1-s32max
CAPPED_DATA 0 sd->gspca_dev.alt 1
CAPPED_DATA 0 sd->gspca_dev.dev->actconfig->desc.bNumInterfaces 1
DATA_SOURCE 0 sd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &gspca_dev->usb_lock

drivers/media/usb/gspca/ov519.c ov518_mode_init_regs() -> reg_w_mask()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->bridge 2
PARAM_VALUE 0 sd->gspca_dev.dev 4096-ptr_max
PARAM_VALUE 0 sd->gspca_dev.dev->actconfig 0,4096-ptr_max
PARAM_VALUE 1 index 40
PARAM_VALUE 2 value 128
PARAM_VALUE 3 mask 240
BUF_SIZE 0 sd s32min-(-2),1-s32max
BUF_SIZE 0 sd s32min-(-2),1-s32max
CAPPED_DATA 0 sd->gspca_dev.alt 1
CAPPED_DATA 0 sd->gspca_dev.dev->actconfig->desc.bNumInterfaces 1
DATA_SOURCE 0 sd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &gspca_dev->usb_lock

drivers/media/usb/gspca/ov519.c ov518_mode_init_regs() -> reg_w_mask()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->bridge 2
PARAM_VALUE 0 sd->gspca_dev.dev 4096-ptr_max
PARAM_VALUE 0 sd->gspca_dev.dev->actconfig 0,4096-ptr_max
PARAM_VALUE 1 index 56
PARAM_VALUE 2 value 128
PARAM_VALUE 3 mask 240
BUF_SIZE 0 sd s32min-(-2),1-s32max
BUF_SIZE 0 sd s32min-(-2),1-s32max
CAPPED_DATA 0 sd->gspca_dev.alt 1
CAPPED_DATA 0 sd->gspca_dev.dev->actconfig->desc.bNumInterfaces 1
DATA_SOURCE 0 sd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &gspca_dev->usb_lock

drivers/media/usb/gspca/ov519.c ov519_mode_init_regs() -> reg_w_mask()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->bridge 4
PARAM_VALUE 0 sd->gspca_dev.usb_err s32min-(-1)
PARAM_VALUE 0 sd->sensor 9-10
PARAM_VALUE 1 index 32
PARAM_VALUE 2 value 16
PARAM_VALUE 3 mask 16
BUF_SIZE 0 sd s32min-(-2),1-s32max
BUF_SIZE 0 sd s32min-(-2),1-s32max
DATA_SOURCE 0 sd $0
FUZZY_MAX 0 sd->sensor 10
BIT_INFO 0 sd->sensor 0x8,0xb
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &gspca_dev->usb_lock

drivers/media/usb/gspca/ov519.c ov51x_led_control() -> reg_w_mask()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->bridge 2-3
PARAM_VALUE 0 sd->clockdiv 0-11,23
PARAM_VALUE 0 sd->invert_led 0-1
PARAM_VALUE 0 sd->revision 0-31
PARAM_VALUE 0 sd->sensor (-128),(-1)-127
PARAM_VALUE 0 sd->sensor_addr 66,96,160,192
PARAM_VALUE 0 sd->sif 1
PARAM_VALUE 0 sd->snapshot_needs_reset 0-1
PARAM_VALUE 0 sd->stopped 0-1
PARAM_VALUE 0 *sd->sensor_reg_cache s16min-s16max
PARAM_VALUE 1 index 86
PARAM_VALUE 2 value 0-2
PARAM_VALUE 3 mask 2
BUF_SIZE 0 sd s32min-(-1),1-s32max
BUF_SIZE 0 sd s32min-(-1),1-s32max
DATA_SOURCE 0 sd $0
STR_LEN 0 sd (-1),5-9,12
STR_LEN 0 sd (-1),5-9,12
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &gspca_dev->usb_lock

drivers/media/usb/gspca/ov519.c ov51x_led_control() -> reg_w_mask()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->bridge 4
PARAM_VALUE 0 sd->clockdiv 0-11,23
PARAM_VALUE 0 sd->invert_led 0-1
PARAM_VALUE 0 sd->revision 0-31
PARAM_VALUE 0 sd->sensor (-128),(-1)-127
PARAM_VALUE 0 sd->sensor_addr 66,96,160,192
PARAM_VALUE 0 sd->sif 1
PARAM_VALUE 0 sd->snapshot_needs_reset 0-1
PARAM_VALUE 0 sd->stopped 0-1
PARAM_VALUE 0 *sd->sensor_reg_cache s16min-s16max
PARAM_VALUE 1 index 113
PARAM_VALUE 2 value 0-1
PARAM_VALUE 3 mask 1
BUF_SIZE 0 sd s32min-(-1),1-s32max
BUF_SIZE 0 sd s32min-(-1),1-s32max
DATA_SOURCE 0 sd $0
DATA_SOURCE 2 value $1 [m]
STR_LEN 0 sd (-1),5-9,12
STR_LEN 0 sd (-1),5-9,12
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &gspca_dev->usb_lock

drivers/media/usb/gspca/ov519.c ov51x_restart() -> reg_w_mask()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->bridge 5
PARAM_VALUE 0 sd->clockdiv 0-11,23
PARAM_VALUE 0 sd->invert_led 0-1
PARAM_VALUE 0 sd->revision 0-31
PARAM_VALUE 0 sd->sensor (-128),(-1)-127
PARAM_VALUE 0 sd->sensor_addr 66,96,160,192
PARAM_VALUE 0 sd->sif 1
PARAM_VALUE 0 sd->snapshot_needs_reset 0-1
PARAM_VALUE 0 sd->stopped 0
PARAM_VALUE 0 *sd->sensor_reg_cache s16min-s16max
PARAM_VALUE 1 index 15
PARAM_VALUE 2 value 2
PARAM_VALUE 3 mask 2
BUF_SIZE 0 sd s32min-(-2),1-s32max
BUF_SIZE 0 sd s32min-(-2),1-s32max
DATA_SOURCE 0 sd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &gspca_dev->usb_lock

drivers/media/usb/gspca/ov519.c ov51x_stop() -> reg_w_mask()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->bridge 2-3
PARAM_VALUE 0 sd->invert_led 0-1
PARAM_VALUE 0 sd->sensor (-128),(-1)-127
PARAM_VALUE 0 sd->sensor_addr 66,96,160,192
PARAM_VALUE 0 sd->sif 1
PARAM_VALUE 0 sd->stopped 1
PARAM_VALUE 0 *sd->sensor_reg_cache s16min-s16max
PARAM_VALUE 1 index 80
PARAM_VALUE 2 value 58
PARAM_VALUE 3 mask 58
BUF_SIZE 0 sd s32min-(-1),1-s32max
BUF_SIZE 0 sd s32min-(-1),1-s32max
DATA_SOURCE 0 sd $0
STR_LEN 0 sd (-1),5-9,12
STR_LEN 0 sd (-1),5-9,12
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &gspca_dev->usb_lock

drivers/media/usb/gspca/ov519.c ov51x_stop() -> reg_w_mask()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->bridge 5
PARAM_VALUE 0 sd->invert_led 0-1
PARAM_VALUE 0 sd->sensor (-128),(-1)-127
PARAM_VALUE 0 sd->sensor_addr 66,96,160,192
PARAM_VALUE 0 sd->sif 1
PARAM_VALUE 0 sd->stopped 1
PARAM_VALUE 0 *sd->sensor_reg_cache s16min-s16max
PARAM_VALUE 1 index 15
PARAM_VALUE 2 value 0
PARAM_VALUE 3 mask 2
BUF_SIZE 0 sd s32min-(-1),1-s32max
BUF_SIZE 0 sd s32min-(-1),1-s32max
DATA_SOURCE 0 sd $0
STR_LEN 0 sd (-1),5-9,12
STR_LEN 0 sd (-1),5-9,12
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &gspca_dev->usb_lock

drivers/media/usb/gspca/stk1135.c sd_start() -> reg_w_mask()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->cam.needs_full_bandwidth 0-1
PARAM_VALUE 0 sd->dev 4096-ptr_max
PARAM_VALUE 0 sd->dev->actconfig 0,4096-ptr_max
PARAM_VALUE 0 sd->image 0
PARAM_VALUE 0 sd->image_len 0
PARAM_VALUE 0 sd->int_urb 0,4096-ptr_max
PARAM_VALUE 0 sd->int_urb->anchor 0
PARAM_VALUE 0 sd->int_urb->anchor_list.next 4096-ptr_max
PARAM_VALUE 0 sd->int_urb->anchor_list.prev 4096-ptr_max
PARAM_VALUE 0 sd->int_urb->complete 3955764357836926976
PARAM_VALUE 0 sd->int_urb->context 4096-ptr_max
PARAM_VALUE 0 sd->int_urb->dev 4096-ptr_max
PARAM_VALUE 0 sd->int_urb->ep 4096-ptr_max
PARAM_VALUE 0 sd->int_urb->error_count 0
PARAM_VALUE 0 sd->int_urb->hcpriv 0,4096-ptr_max
PARAM_VALUE 0 sd->int_urb->interval s32min-32768
PARAM_VALUE 0 sd->int_urb->num_mapped_sgs 0-s32max
PARAM_VALUE 0 sd->int_urb->num_sgs 0
PARAM_VALUE 0 sd->int_urb->number_of_packets 0
PARAM_VALUE 0 sd->int_urb->pipe 0,128-u32max
PARAM_VALUE 0 sd->int_urb->reject.counter 0
PARAM_VALUE 0 sd->int_urb->sg 0
PARAM_VALUE 0 sd->int_urb->sgt 0
PARAM_VALUE 0 sd->int_urb->start_frame (-1)
PARAM_VALUE 0 sd->int_urb->status (-4095)-0
PARAM_VALUE 0 sd->int_urb->stream_id 0
PARAM_VALUE 0 sd->int_urb->transfer_buffer_length 0-u16max
PARAM_VALUE 0 sd->last_packet_type 0
PARAM_VALUE 0 sd->sd_desc 4096-ptr_max
PARAM_VALUE 0 sd->sd_desc->isoc_init 0,4096-ptr_max
PARAM_VALUE 0 sd->sd_desc->isoc_nego 0,5597140758607159296,7839014778267959296
PARAM_VALUE 0 sd->sd_desc->stop0 0,4096-ptr_max
PARAM_VALUE 0 sd->sd_desc->stopN 0,4096-ptr_max
PARAM_VALUE 0 sd->sensor_page 0-255
PARAM_VALUE 0 *sd->dev->toggle 0-4294967295
PARAM_VALUE 1 index 256
PARAM_VALUE 2 value 128
PARAM_VALUE 3 mask 128
BUF_SIZE 0 sd s32min-(-2),1-s32max
BUF_SIZE 0 sd s32min-(-2),1-s32max
CAPPED_DATA 0 sd->dev 1
CAPPED_DATA 0 sd->dev->actconfig->desc.bNumInterfaces 1
DATA_SOURCE 0 sd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sd->int_urb->num_mapped_sgs
NO_OVERFLOW_SIMPLE 0 sd->int_urb->transfer_buffer_length
HALF_LOCKED2 0 &sd->usb_lock

drivers/media/usb/gspca/stk1135.c stk1135_camera_disable() -> reg_w_mask()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->sd_desc 4096-ptr_max
PARAM_VALUE 0 sd->sd_desc->isoc_init 0,4096-ptr_max
PARAM_VALUE 0 sd->sd_desc->isoc_nego 0,5597140758607159296,7839014778267959296
PARAM_VALUE 0 sd->sd_desc->stop0 0,4096-ptr_max
PARAM_VALUE 0 sd->sd_desc->stopN 0,4096-ptr_max
PARAM_VALUE 0 *sd->dev->toggle 0-4294967295
PARAM_VALUE 1 index 256
PARAM_VALUE 2 value 0
PARAM_VALUE 3 mask 128
BUF_SIZE 0 sd s32min-(-1),1-s32max
BUF_SIZE 0 sd s32min-(-1),1-s32max
BUF_SIZE 0 sd->usb_buf (-1),64
BUF_SIZE 0 sd->vdev.lock (-1),152
BUF_SIZE 0 sd->vdev.queue (-1),632
BUF_SIZE 0 sd->vdev.v4l2_dev (-1),192
DATA_SOURCE 0 sd $0
STR_LEN 0 sd (-1),5-9,12
STR_LEN 0 sd (-1),5-9,12
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &sd->usb_lock

drivers/media/usb/gspca/stk1135.c stk1135_camera_disable() -> reg_w_mask()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->sd_desc 4096-ptr_max
PARAM_VALUE 0 sd->sd_desc->isoc_init 0,4096-ptr_max
PARAM_VALUE 0 sd->sd_desc->isoc_nego 0,5597140758607159296,7839014778267959296
PARAM_VALUE 0 sd->sd_desc->stop0 0,4096-ptr_max
PARAM_VALUE 0 sd->sd_desc->stopN 0,4096-ptr_max
PARAM_VALUE 0 *sd->dev->toggle 0-4294967295
PARAM_VALUE 1 index 26
PARAM_VALUE 2 value 0
PARAM_VALUE 3 mask 1
BUF_SIZE 0 sd s32min-(-1),1-s32max
BUF_SIZE 0 sd s32min-(-1),1-s32max
BUF_SIZE 0 sd->usb_buf (-1),64
BUF_SIZE 0 sd->vdev.lock (-1),152
BUF_SIZE 0 sd->vdev.queue (-1),632
BUF_SIZE 0 sd->vdev.v4l2_dev (-1),192
DATA_SOURCE 0 sd $0
STR_LEN 0 sd (-1),5-9,12
STR_LEN 0 sd (-1),5-9,12
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &sd->usb_lock