Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/gadget/udc/pch_udc.c pch_udc_clear_disconnect() -> pch_udc_bit_set()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->driver 1-u64max
PARAM_VALUE 0 dev->vbus_gpio.intr 0-s32max
PARAM_VALUE 0 dev->vbus_gpio.port 0,4096-u64max
PARAM_VALUE 1 reg 1028
PARAM_VALUE 2 bitmask 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &udc->connect_lock
HALF_LOCKED2 &g->dev.mutex
HALF_LOCKED2 &of->mutex
TYPE_LOCK (struct usb_udc)->connect_lock

drivers/usb/gadget/udc/pch_udc.c pch_udc_disable_ep_interrupts() -> pch_udc_bit_set()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 reg 1048
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
DATA_SOURCE 0 dev $0
DATA_SOURCE 2 bitmask $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 iflags
HALF_LOCKED2 0 &dev->lock

drivers/usb/gadget/udc/pch_udc.c pch_udc_disable_interrupts() -> pch_udc_bit_set()

Type Parameter Key Value
PARAM_VALUE 1 reg 1040
PARAM_VALUE 2 bitmask 127
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
DATA_SOURCE 0 dev $0
DATA_SOURCE 2 bitmask $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &udc->connect_lock

drivers/usb/gadget/udc/pch_udc.c pch_udc_exit() -> pch_udc_bit_set()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->ep->ep.address 0-255
PARAM_VALUE 0 dev->ep->ep.caps.dir_in 0-1
PARAM_VALUE 0 dev->ep->ep.caps.dir_out 0-1
PARAM_VALUE 0 dev->ep->ep.caps.type_bulk 0-1
PARAM_VALUE 0 dev->ep->ep.caps.type_control 0-1
PARAM_VALUE 0 dev->ep->ep.caps.type_int 0-1
PARAM_VALUE 0 dev->ep->ep.caps.type_iso 0-1
PARAM_VALUE 0 dev->ep->ep.claimed 0-1
PARAM_VALUE 0 dev->ep->ep.enabled 0-1
PARAM_VALUE 0 dev->ep->ep.max_streams 0-u16max
PARAM_VALUE 0 dev->ep->ep.maxburst 0-31
PARAM_VALUE 0 dev->ep->ep.maxpacket 0-u16max
PARAM_VALUE 0 dev->ep->ep.maxpacket_limit 0-u16max
PARAM_VALUE 0 dev->ep->ep.mult 0-3
PARAM_VALUE 0 dev->ep->epsts 0-4294967295
PARAM_VALUE 0 dev->ep->halted 0-1
PARAM_VALUE 0 dev->ep->in 0-1
PARAM_VALUE 0 dev->ep->num 0-15
PARAM_VALUE 0 dev->ep->offset_addr 0-480,512-992
PARAM_VALUE 0 dev->gadget.dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->vbus_gpio.intr 0-s32max
PARAM_VALUE 1 reg 1040
PARAM_VALUE 2 bitmask 127
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->pdev->current_state 0-3[c]
UNITS 0 dev unit_byte

drivers/usb/gadget/udc/pch_udc.c pch_udc_exit() -> pch_udc_bit_set()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->ep->ep.address 0-255
PARAM_VALUE 0 dev->ep->ep.caps.dir_in 0-1
PARAM_VALUE 0 dev->ep->ep.caps.dir_out 0-1
PARAM_VALUE 0 dev->ep->ep.caps.type_bulk 0-1
PARAM_VALUE 0 dev->ep->ep.caps.type_control 0-1
PARAM_VALUE 0 dev->ep->ep.caps.type_int 0-1
PARAM_VALUE 0 dev->ep->ep.caps.type_iso 0-1
PARAM_VALUE 0 dev->ep->ep.claimed 0-1
PARAM_VALUE 0 dev->ep->ep.enabled 0-1
PARAM_VALUE 0 dev->ep->ep.max_streams 0-u16max
PARAM_VALUE 0 dev->ep->ep.maxburst 0-31
PARAM_VALUE 0 dev->ep->ep.maxpacket 0-u16max
PARAM_VALUE 0 dev->ep->ep.maxpacket_limit 0-u16max
PARAM_VALUE 0 dev->ep->ep.mult 0-3
PARAM_VALUE 0 dev->ep->epsts 0-4294967295
PARAM_VALUE 0 dev->ep->halted 0-1
PARAM_VALUE 0 dev->ep->in 0-1
PARAM_VALUE 0 dev->ep->num 0-15
PARAM_VALUE 0 dev->ep->offset_addr 0-480,512-992
PARAM_VALUE 0 dev->gadget.dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->vbus_gpio.intr 0-s32max
PARAM_VALUE 1 reg 1048
PARAM_VALUE 2 bitmask u32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->pdev->current_state 0-3[c]
UNITS 0 dev unit_byte

drivers/usb/gadget/udc/pch_udc.c pch_udc_init() -> pch_udc_bit_set()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->base_addr 4096-ptr_max
PARAM_VALUE 0 dev->cfg_data.cur_alt 0-15
PARAM_VALUE 0 dev->cfg_data.cur_cfg 0-15
PARAM_VALUE 0 dev->cfg_data.cur_intf 0-15
PARAM_VALUE 0 dev->vbus_gpio.intr 0-s32max
PARAM_VALUE 1 reg 1040
PARAM_VALUE 2 bitmask 127
BUF_SIZE 0 dev (-1),7072
BUF_SIZE 0 dev (-1),7072
BUF_SIZE 0 dev->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
DATA_SOURCE 0 dev $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->pdev->current_state 0-3[c]
HALF_LOCKED2 0 &dev->lock

drivers/usb/gadget/udc/pch_udc.c pch_udc_init() -> pch_udc_bit_set()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->base_addr 4096-ptr_max
PARAM_VALUE 0 dev->cfg_data.cur_alt 0-15
PARAM_VALUE 0 dev->cfg_data.cur_cfg 0-15
PARAM_VALUE 0 dev->cfg_data.cur_intf 0-15
PARAM_VALUE 0 dev->vbus_gpio.intr 0-s32max
PARAM_VALUE 1 reg 1036
PARAM_VALUE 2 bitmask 127
BUF_SIZE 0 dev (-1),7072
BUF_SIZE 0 dev (-1),7072
BUF_SIZE 0 dev->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
DATA_SOURCE 0 dev $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->pdev->current_state 0-3[c]
HALF_LOCKED2 0 &dev->lock

drivers/usb/gadget/udc/pch_udc.c pch_udc_init() -> pch_udc_bit_set()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->base_addr 4096-ptr_max
PARAM_VALUE 0 dev->cfg_data.cur_alt 0-15
PARAM_VALUE 0 dev->cfg_data.cur_cfg 0-15
PARAM_VALUE 0 dev->cfg_data.cur_intf 0-15
PARAM_VALUE 0 dev->vbus_gpio.intr 0-s32max
PARAM_VALUE 1 reg 1048
PARAM_VALUE 2 bitmask u32max
BUF_SIZE 0 dev (-1),7072
BUF_SIZE 0 dev (-1),7072
BUF_SIZE 0 dev->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
DATA_SOURCE 0 dev $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->pdev->current_state 0-3[c]
HALF_LOCKED2 0 &dev->lock

drivers/usb/gadget/udc/pch_udc.c pch_udc_init() -> pch_udc_bit_set()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->base_addr 4096-ptr_max
PARAM_VALUE 0 dev->cfg_data.cur_alt 0-15
PARAM_VALUE 0 dev->cfg_data.cur_cfg 0-15
PARAM_VALUE 0 dev->cfg_data.cur_intf 0-15
PARAM_VALUE 0 dev->vbus_gpio.intr 0-s32max
PARAM_VALUE 1 reg 1044
PARAM_VALUE 2 bitmask u32max
BUF_SIZE 0 dev (-1),7072
BUF_SIZE 0 dev (-1),7072
BUF_SIZE 0 dev->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
DATA_SOURCE 0 dev $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->pdev->current_state 0-3[c]
HALF_LOCKED2 0 &dev->lock

drivers/usb/gadget/udc/pch_udc.c pch_udc_init() -> pch_udc_bit_set()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->base_addr 4096-ptr_max
PARAM_VALUE 0 dev->cfg_data.cur_alt 0-15
PARAM_VALUE 0 dev->cfg_data.cur_cfg 0-15
PARAM_VALUE 0 dev->cfg_data.cur_intf 0-15
PARAM_VALUE 0 dev->vbus_gpio.intr 0-s32max
PARAM_VALUE 1 reg 1024
PARAM_VALUE 2 bitmask 131081
BUF_SIZE 0 dev (-1),7072
BUF_SIZE 0 dev (-1),7072
BUF_SIZE 0 dev->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
DATA_SOURCE 0 dev $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->pdev->current_state 0-3[c]
HALF_LOCKED2 0 &dev->lock

drivers/usb/gadget/udc/pch_udc.c pch_udc_init() -> pch_udc_bit_set()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->base_addr 4096-ptr_max
PARAM_VALUE 0 dev->cfg_data.cur_alt 0-15
PARAM_VALUE 0 dev->cfg_data.cur_cfg 0-15
PARAM_VALUE 0 dev->cfg_data.cur_intf 0-15
PARAM_VALUE 0 dev->vbus_gpio.intr 0-s32max
PARAM_VALUE 1 reg 1024
PARAM_VALUE 2 bitmask 131080
BUF_SIZE 0 dev (-1),7072
BUF_SIZE 0 dev (-1),7072
BUF_SIZE 0 dev->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
DATA_SOURCE 0 dev $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->pdev->current_state 0-3[c]
HALF_LOCKED2 0 &dev->lock

drivers/usb/gadget/udc/pch_udc.c pch_udc_init() -> pch_udc_bit_set()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->base_addr 4096-ptr_max
PARAM_VALUE 0 dev->cfg_data.cur_alt 0-15
PARAM_VALUE 0 dev->cfg_data.cur_cfg 0-15
PARAM_VALUE 0 dev->cfg_data.cur_intf 0-15
PARAM_VALUE 0 dev->vbus_gpio.intr 0-s32max
PARAM_VALUE 1 reg 1028
PARAM_VALUE 2 bitmask 521077632
BUF_SIZE 0 dev (-1),7072
BUF_SIZE 0 dev (-1),7072
BUF_SIZE 0 dev->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
DATA_SOURCE 0 dev $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->pdev->current_state 0-3[c]
HALF_LOCKED2 0 &dev->lock

drivers/usb/gadget/udc/pch_udc.c pch_udc_reconnect() -> pch_udc_bit_set()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->base_addr 4096-ptr_max
PARAM_VALUE 0 dev->cfg_data.cur_alt 0-15
PARAM_VALUE 0 dev->cfg_data.cur_cfg 0-15
PARAM_VALUE 0 dev->cfg_data.cur_intf 0-15
PARAM_VALUE 0 dev->vbus_gpio.intr 0-s32max
PARAM_VALUE 1 reg 1028
PARAM_VALUE 2 bitmask 1
DATA_SOURCE 0 dev $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 iflags
HALF_LOCKED2 0 &dev->lock

drivers/usb/gadget/udc/pch_udc.c pch_udc_rmt_wakeup() -> pch_udc_bit_set()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 reg 1028
PARAM_VALUE 2 bitmask 1
DATA_SOURCE 0 dev $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &dev->lock
HALF_LOCKED2 &of->mutex
TYPE_LOCK (struct pch_udc_dev)->lock

drivers/usb/gadget/udc/pch_udc.c pch_udc_set_csr_done() -> pch_udc_bit_set()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->driver 1-u64max
PARAM_VALUE 0 dev->gadget.speed 1-u32max
PARAM_VALUE 0 dev->set_cfg_not_acked 1
PARAM_VALUE 1 reg 1028
PARAM_VALUE 2 bitmask 8192
DATA_SOURCE 0 dev $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 iflags
HALF_LOCKED2 &cdev->lock
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &dev->lock_printer_io
HALF_LOCKED2 &epdata->dev->lock
HALF_LOCKED2 &epdata->lock
HALF_LOCKED2 &epfile->ffs->eps_lock
HALF_LOCKED2 &hidg->get_report_spinlock
HALF_LOCKED2 &midi->transmit_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &port->lock
HALF_LOCKED2 &usb9pfs->lock
HALF_LOCKED2 &video->req_lock
HALF_LOCKED2 cdev_flags
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct pch_udc_dev)->lock

drivers/usb/gadget/udc/pch_udc.c pch_udc_set_disconnect() -> pch_udc_bit_set()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->ep->ep.address 0-255
PARAM_VALUE 0 dev->ep->ep.caps.dir_in 0-1
PARAM_VALUE 0 dev->ep->ep.caps.dir_out 0-1
PARAM_VALUE 0 dev->ep->ep.caps.type_bulk 0-1
PARAM_VALUE 0 dev->ep->ep.caps.type_control 0-1
PARAM_VALUE 0 dev->ep->ep.caps.type_int 0-1
PARAM_VALUE 0 dev->ep->ep.caps.type_iso 0-1
PARAM_VALUE 0 dev->ep->ep.claimed 0-1
PARAM_VALUE 0 dev->ep->ep.enabled 0-1
PARAM_VALUE 0 dev->ep->ep.max_streams 0-u16max
PARAM_VALUE 0 dev->ep->ep.maxburst 0-31
PARAM_VALUE 0 dev->ep->ep.maxpacket 0-u16max
PARAM_VALUE 0 dev->ep->ep.maxpacket_limit 0-u16max
PARAM_VALUE 0 dev->ep->ep.mult 0-3
PARAM_VALUE 0 dev->ep->epsts 0-4294967295
PARAM_VALUE 0 dev->ep->halted 0-1
PARAM_VALUE 0 dev->ep->in 0-1
PARAM_VALUE 0 dev->ep->num 0-15
PARAM_VALUE 0 dev->ep->offset_addr 0-480,512-992
PARAM_VALUE 0 dev->gadget.dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->gadget.dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->vbus_gpio.intr 0-s32max
PARAM_VALUE 1 reg 1028
PARAM_VALUE 2 bitmask 1024
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev->gadget.name (-1),8
BUF_SIZE 0 dev->gadget.ops (-1),136
BUF_SIZE 0 dev->pdev (-1),1-s32max
DATA_SOURCE 0 dev $0
STR_LEN 0 dev->gadget.name (-1),7
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->pdev->current_state 0-3[c]
UNITS 0 dev unit_byte
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &udc->connect_lock
HALF_LOCKED2 iflags
HALF_LOCKED2 0 &dev->lock

drivers/usb/gadget/udc/pch_udc.c pch_udc_set_dma() -> pch_udc_bit_set()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cfg_data.cur_alt 0-15
PARAM_VALUE 0 dev->cfg_data.cur_cfg 0-15
PARAM_VALUE 0 dev->cfg_data.cur_intf 0-15
PARAM_VALUE 0 dev->vbus_gpio.intr 0-s32max
PARAM_VALUE 1 reg 1028
PARAM_VALUE 2 bitmask 4
BUF_SIZE 0 dev->gadget.ep0 (-1),72
DATA_SOURCE 0 dev $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 0 &dev->lock
TYPE_LOCK (struct pch_udc_dev)->lock

drivers/usb/gadget/udc/pch_udc.c pch_udc_set_dma() -> pch_udc_bit_set()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cfg_data.cur_alt 0-15
PARAM_VALUE 0 dev->cfg_data.cur_cfg 0-15
PARAM_VALUE 0 dev->cfg_data.cur_intf 0-15
PARAM_VALUE 0 dev->vbus_gpio.intr 0-s32max
PARAM_VALUE 1 reg 1028
PARAM_VALUE 2 bitmask 8
DATA_SOURCE 0 dev $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 0 &dev->lock
TYPE_LOCK (struct pch_udc_dev)->lock

drivers/usb/gadget/udc/pch_udc.c pch_udc_set_selfpowered() -> pch_udc_bit_set()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 reg 1024
PARAM_VALUE 2 bitmask 8
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL