Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/gadget/udc/pch_udc.c pch_udc_bit_clr() -> pch_udc_readl()

Type Parameter Key Value
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,1028,1040,1048
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 reg $1
HARD_MAX 1 reg 1048
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &udc->connect_lock
HALF_LOCKED2 flags
HALF_LOCKED2 0 &dev->lock

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

Type Parameter Key Value
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->ep->epsts 0-4294967295
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.parent->sd->attr.open->nr_mmapped 0-4294967295
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 1024,1028,1036,1040,1044,1048
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev->gadget.ep0 (-1),72
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
DATA_SOURCE 1 reg $1
STR_LEN 0 dev->gadget.name (-1),7
HARD_MAX 1 reg 1048
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 dev->pdev->current_state 0-3[c]
UNITS 0 dev unit_byte
HALF_LOCKED2 &udc->connect_lock
HALF_LOCKED2 flags
HALF_LOCKED2 iflags
HALF_LOCKED2 0 &dev->lock

drivers/usb/gadget/udc/pch_udc.c pch_udc_csr_busy() -> pch_udc_readl()

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 1 reg 1264
DATA_SOURCE 0 dev $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 dev->cfg_data.cur_alt 0-15[c]
HOST_DATA 0 dev->cfg_data.cur_cfg 0-15[c]
HOST_DATA 0 dev->cfg_data.cur_intf 0-15[c]
HOST_DATA 0 dev->setup_data.wIndex 0-15[c]
HOST_DATA 0 dev->setup_data.wValue 0-15[c]
HALF_LOCKED2 flags
HALF_LOCKED2 0 &dev->lock
TYPE_LOCK (struct pch_udc_dev)->lock

drivers/usb/gadget/udc/pch_udc.c pch_udc_csr_busy() -> pch_udc_readl()

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 1 reg 1264
DATA_SOURCE 0 dev $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 dev->cfg_data.cur_alt 0-15[c]
HOST_DATA 0 dev->cfg_data.cur_cfg 0-15[c]
HOST_DATA 0 dev->cfg_data.cur_intf 0-15[c]
HOST_DATA 0 dev->setup_data.wIndex 0-15[c]
HOST_DATA 0 dev->setup_data.wValue 0-15[c]
HALF_LOCKED2 flags
HALF_LOCKED2 0 &dev->lock
TYPE_LOCK (struct pch_udc_dev)->lock

drivers/usb/gadget/udc/pch_udc.c pch_udc_get_frame() -> pch_udc_readl()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 reg 1032
DATA_SOURCE 0 dev $0
LOCK2 &pool->lock
LOCK2 &queue->irqlock
LOCK2 flags
TYPE_LOCK (struct uvc_video_queue)->irqlock

drivers/usb/gadget/udc/pch_udc.c pch_udc_isr() -> pch_udc_readl()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 reg 1024
DATA_SOURCE 0 dev $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/usb/gadget/udc/pch_udc.c pch_udc_read_csr() -> pch_udc_readl()

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->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->set_cfg_not_acked 1
PARAM_VALUE 0 dev->setup_data.bRequest 9,11
PARAM_VALUE 0 dev->setup_data.wValue 0-15
PARAM_VALUE 1 reg 1284
DATA_SOURCE 0 dev $0
HARD_MAX 0 dev->setup_data.bRequest 11
MEM_ZERO 0 &dev->setup_data
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->cfg_data.cur_alt 0-15[c]
HOST_DATA 0 dev->cfg_data.cur_cfg 0-15[c]
HOST_DATA 0 dev->cfg_data.cur_intf 0-15[c]
HOST_DATA 0 dev->setup_data.wIndex 0-15[c]
HOST_DATA 0 dev->setup_data.wValue 0-15[c]
LOCK2 0 &dev->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct pch_udc_dev)->lock

drivers/usb/gadget/udc/pch_udc.c pch_udc_read_csr() -> pch_udc_readl()

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->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->set_cfg_not_acked 1
PARAM_VALUE 0 dev->setup_data.bRequest 9,11
PARAM_VALUE 0 dev->setup_data.wValue 0-15
PARAM_VALUE 1 reg 1284
DATA_SOURCE 0 dev $0
HARD_MAX 0 dev->setup_data.bRequest 11
MEM_ZERO 0 &dev->setup_data
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 dev->cfg_data.cur_alt 0-15[c]
HOST_DATA 0 dev->cfg_data.cur_cfg 0-15[c]
HOST_DATA 0 dev->cfg_data.cur_intf 0-15[c]
HOST_DATA 0 dev->setup_data.wIndex 0-15[c]
HOST_DATA 0 dev->setup_data.wValue 0-15[c]
LOCK2 0 &dev->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct pch_udc_dev)->lock

drivers/usb/gadget/udc/pch_udc.c pch_udc_read_device_interrupts() -> pch_udc_readl()

Type Parameter Key Value
PARAM_VALUE 1 reg 1036
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/usb/gadget/udc/pch_udc.c pch_udc_read_device_status() -> pch_udc_readl()

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_intf 0-15
PARAM_VALUE 0 dev->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 reg 1032
DATA_SOURCE 0 dev $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &dev->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct pch_udc_dev)->lock

drivers/usb/gadget/udc/pch_udc.c pch_udc_read_ep_interrupts() -> pch_udc_readl()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 reg 1044
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq