Defined in 1 files as a prototype:

Defined in 3 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/usb/gadget/udc/m66592-udc.c m66592_probe() -> init_controller()

Type Parameter Key Value
PARAM_VALUE 0 mmio_base 4096-ptr_max
PARAM_VALUE 0 mmio_base->ep 4096-ptr_max
PARAM_VALUE 0 mmio_base->ep0_req 4096-ptr_max
PARAM_VALUE 0 mmio_base->ep0_req->complete 500599171367428096
PARAM_VALUE 0 mmio_base->epaddr2ep 4096-ptr_max
PARAM_VALUE 0 mmio_base->gadget.ep0 4096-ptr_max
PARAM_VALUE 0 mmio_base->gadget.ep0->ep_list.next 4096-ptr_max
PARAM_VALUE 0 mmio_base->gadget.ep0->ep_list.next->next 4096-ptr_max
PARAM_VALUE 0 mmio_base->gadget.ep0->ep_list.prev 4096-ptr_max
PARAM_VALUE 0 mmio_base->gadget.ep0->ep_list.prev->next 4096-ptr_max
PARAM_VALUE 0 mmio_base->gadget.ep0->ep_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 mmio_base->gadget.ep_list.next 4096-ptr_max
PARAM_VALUE 0 mmio_base->gadget.ep_list.next->next 4096-ptr_max
PARAM_VALUE 0 mmio_base->gadget.ep_list.prev 4096-ptr_max
PARAM_VALUE 0 mmio_base->gadget.ep_list.prev->next 4096-ptr_max
PARAM_VALUE 0 mmio_base->gadget.ep_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 mmio_base->gadget.max_speed 3
PARAM_VALUE 0 mmio_base->gadget.name 1593072378360188928
PARAM_VALUE 0 mmio_base->gadget.ops 3772914537701285888
PARAM_VALUE 0 mmio_base->irq_trigger 0-15
PARAM_VALUE 0 mmio_base->pdata 4096-ptr_max
PARAM_VALUE 0 mmio_base->pipenum2ep 4096-ptr_max
PARAM_VALUE 0 mmio_base->reg 4096-ptr_max
PARAM_VALUE 0 mmio_base->timer.entry.pprev 0
PARAM_VALUE 0 mmio_base->timer.flags 0-4194302
PARAM_VALUE 0 mmio_base->timer.lockdep_map->name 0-255
BUF_SIZE 0 mmio_base 3472
BUF_SIZE 0 mmio_base->clk (-1),24,72
BUF_SIZE 0 mmio_base->ep0_req 104
BUF_SIZE 0 mmio_base->gadget.ep0 72
BUF_SIZE 0 mmio_base->gadget.name 11
BUF_SIZE 0 mmio_base->gadget.ops 136
BUF_SIZE 0 mmio_base->pdata s32min-(-2),1-s32max
DATA_SOURCE 0 mmio_base r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/gadget/udc/m66592-udc.c m66592_udc_stop() -> init_controller()

Type Parameter Key Value
PARAM_VALUE 0 mmio_base 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &udc->connect_lock
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &g->dev.mutex
HALF_LOCKED2 &of->mutex
TYPE_LOCK (struct usb_udc)->connect_lock

drivers/ata/sata_inic162x.c inic_init_one() -> init_controller()

Type Parameter Key Value
DATA_SOURCE 1 hctl r readw
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 hctl 0-u16max

drivers/ata/sata_inic162x.c inic_pci_device_resume() -> init_controller()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->mutex

drivers/usb/gadget/udc/r8a66597-udc.c r8a66597_start() -> init_controller()

Type Parameter Key Value
PARAM_VALUE 0 mmio_base 4096-ptr_max
PARAM_VALUE 0 mmio_base->driver 4096-ptr_max
PARAM_VALUE 0 mmio_base->driver->max_speed 3-u32max
PARAM_VALUE 0 mmio_base->driver->setup 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &udc->connect_lock
HALF_LOCKED2 &gadget->dev.mutex
HALF_LOCKED2 &of->mutex
TYPE_LOCK (struct usb_udc)->connect_lock

drivers/usb/gadget/udc/r8a66597-udc.c r8a66597_usb_disconnect() -> init_controller()

Type Parameter Key Value
PARAM_VALUE 0 mmio_base 4096-ptr_max
PARAM_VALUE 0 mmio_base->driver 4096-ptr_max
PARAM_VALUE 0 mmio_base->gadget.speed 0
PARAM_VALUE 0 mmio_base->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mmio_base->old_vbus 0,128
PARAM_VALUE 0 mmio_base->pdata 4096-ptr_max
PARAM_VALUE 0 mmio_base->reg 4096-ptr_max
PARAM_VALUE 0 mmio_base->scount 0
CAPPED_DATA 0 mmio_base->old_vbus 1
DATA_SOURCE 0 mmio_base $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &mmio_base->lock
TYPE_LOCK (struct r8a66597)->lock