Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/usb/chipidea/ci_hdrc_msm.c hw_write() -> __hw_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ci | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->dev->parent | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | ci->fsm.ops->add_timer | 414956810465742848,4296983535367467008 |
| PARAM_VALUE | 0 | ci->fsm.ops->chrg_vbus | 0,2820790914838061056 |
| PARAM_VALUE | 0 | ci->fsm.ops->del_timer | 945534646104719360,1500804826409422848 |
| PARAM_VALUE | 0 | ci->fsm.ops->drv_vbus | 6422573144063873024,8467552539765321728 |
| PARAM_VALUE | 0 | ci->fsm.ops->loc_conn | 748280648660606976,7873567292090933248 |
| PARAM_VALUE | 0 | ci->fsm.ops->loc_sof | 2161566392340684800,8211045230474645504 |
| PARAM_VALUE | 0 | ci->fsm.ops->start_adp_prb | 0 |
| PARAM_VALUE | 0 | ci->fsm.ops->start_adp_sns | 0 |
| PARAM_VALUE | 0 | ci->fsm.ops->start_gadget | 4774060388450500608,6610511371955978240 |
| PARAM_VALUE | 0 | ci->fsm.ops->start_host | 364425709206450176,7926693279510343680 |
| PARAM_VALUE | 0 | ci->fsm.ops->start_pulse | 337382384946118656,8388759565004263424 |
| PARAM_VALUE | 0 | ci->gadget.dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | ci->gadget.dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | ci->gadget.dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | ci->gadget.ops->vbus_draw | 0,315439885436596224,2791489460834643968,3051329448734011392,3641458181225377792,7056777703058034688,7126685895025909760,7633688635854323712 |
| PARAM_VALUE | 0 | ci->hw_bank.abs | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->hw_bank.regmap | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->phy | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ci->phy->dev.power.request | 0-4 |
| PARAM_VALUE | 0 | ci->phy->dev.power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | ci->phy->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | ci->phy->pwr | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ci->phy->pwr->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | ci->phy->pwr->rdev->ena_gpio_state | 1 |
| PARAM_VALUE | 0 | ci->phy->pwr->rdev->ena_pin->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | ci->phy->pwr->rdev->notifier.head->priority | s32min-s32max |
| PARAM_VALUE | 0 | ci->phy->pwr->rdev->reg_data->load | 0-4294967295 |
| PARAM_VALUE | 0 | ci->phy->pwr->rdev->reg_data->load_updated | 0-1 |
| PARAM_VALUE | 0 | ci->phy->pwr->rdev->reg_data->lock->first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | ci->phy->pwr->rdev->reg_data->lock->wait_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | ci->phy->pwr->rdev->reg_data->lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | ci->phy->pwr->rdev->reg_data->regmap->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | ci->phy->pwr->rdev->reg_data->regmap->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | ci->phy->pwr->rdev->regmap->async | 0-1 |
| PARAM_VALUE | 0 | ci->phy->pwr->rdev->regmap->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | ci->phy->pwr->rdev->regmap->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | ci->phy->pwr->rdev->regmap->cache->cached_rbnode->node.__rb_parent_color | 0-1 |
| PARAM_VALUE | 0 | ci->phy->pwr->rdev->regmap->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | ci->phy->pwr->rdev->supply->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | ci->phy->pwr->rdev->use_count | 0-4294967295 |
| PARAM_VALUE | 0 | ci->platdata | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->platdata->notify_event | 1-u64max |
| PARAM_VALUE | 0 | ci->usb_phy->io_dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | val | 0,33554432-u32max |
| BUF_SIZE | 0 | ci | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | ci | s32min-(-1),1-s32max |
| CAPPED_DATA | 1 | val | 1 |
| DATA_SOURCE | 0 | ci | $0 |
| DATA_SOURCE | 1 | val | $3 [m] |
| BIT_INFO | 1 | val | 0x2000000,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | val | 0,33554432-u32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | ci->wq->rescuer->task->dl.pi_se->dl_runtime |
drivers/usb/chipidea/core.c hw_write() -> __hw_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ci | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | ci->fsm.ops->add_timer | 414956810465742848,4296983535367467008 |
| PARAM_VALUE | 0 | ci->fsm.ops->chrg_vbus | 0,2820790914838061056,8829662237851365376 |
| PARAM_VALUE | 0 | ci->fsm.ops->del_timer | 945534646104719360,1500804826409422848 |
| PARAM_VALUE | 0 | ci->fsm.ops->drv_vbus | 6422573144063873024,8467552539765321728,9162748663468265472 |
| PARAM_VALUE | 0 | ci->fsm.ops->loc_conn | 748280648660606976,2160444128442793984,7873567292090933248 |
| PARAM_VALUE | 0 | ci->fsm.ops->loc_sof | 2161566392340684800,4511778642377674752,8211045230474645504 |
| PARAM_VALUE | 0 | ci->fsm.ops->start_adp_prb | 0 |
| PARAM_VALUE | 0 | ci->fsm.ops->start_adp_sns | 0 |
| PARAM_VALUE | 0 | ci->fsm.ops->start_gadget | 4774060388450500608,6610511371955978240,8852976329558839296 |
| PARAM_VALUE | 0 | ci->fsm.ops->start_host | 364425709206450176,7926693279510343680,8759241662834855936 |
| PARAM_VALUE | 0 | ci->fsm.ops->start_pulse | 337382384946118656,2297635729982816256,8388759565004263424 |
| PARAM_VALUE | 0 | ci->gadget.dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | ci->gadget.dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | ci->gadget.dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | ci->hw_bank.regmap | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->phy->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | ci->usb_phy->io_dev->power.wakeirq->status | 0-4294967295 |
| BUF_SIZE | 0 | ci | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | ci | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | ci->dev | (-1),1616 |
| BUF_SIZE | 0 | ci->platdata | (-1),1-s32max |
| DATA_SOURCE | 0 | ci | $0 |
| DATA_SOURCE | 1 | val | $3 [m] |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | ci->hw_bank.lpm | 0-u32max[c] |
| HOST_DATA | 0 | ci->rev | 0-u32max[c] |
| HOST_DATA | 1 | val | 0-u32max[c] |
| UNITS | 0 | ci | unit_byte |
| HALF_LOCKED2 | 0 | &ci->lock |
drivers/usb/chipidea/otg_fsm.c hw_write() -> __hw_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ci | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | ci->fsm.ops->add_timer | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->fsm.ops->chrg_vbus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ci->fsm.ops->drv_vbus | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->fsm.ops->loc_conn | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->fsm.ops->loc_sof | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->fsm.ops->start_adp_prb | 0 |
| PARAM_VALUE | 0 | ci->fsm.ops->start_adp_sns | 0 |
| PARAM_VALUE | 0 | ci->fsm.ops->start_host | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->fsm.ops->start_pulse | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->hw_bank.regmap | 4096-ptr_max |
| CAPPED_DATA | 1 | val | 1 |
| DATA_SOURCE | 0 | ci | $0 |
| DATA_SOURCE | 1 | val | $3 [m] |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | val | 0-u32max[c] |
| HALF_LOCKED2 | &fsm->lock |
drivers/usb/chipidea/udc.c hw_test_and_clear() -> __hw_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ci | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->ci_hw_ep | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->ep0in->ci->ep0out->type | 0-3 |
| PARAM_VALUE | 0 | ci->gadget.ops->vbus_draw | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ci->hw_bank.regmap | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->hw_ep_max | 1-u32max |
| PARAM_VALUE | 0 | ci->in_lpm | 0 |
| PARAM_VALUE | 0 | ci->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ci->platdata | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->role | 0-1 |
| PARAM_VALUE | 2 | addr | 0-ptr_max |
| BUF_SIZE | 0 | ci | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | ci | s32min-(-1),1-s32max |
| CAPPED_DATA | 1 | val | 1 |
| DATA_SOURCE | 0 | ci | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | val | 0-u32max |
| LOCK2 | 0 | &ci->lock | |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| TYPE_LOCK | (struct ci_hdrc)->lock |
drivers/usb/chipidea/udc.c hw_write() -> __hw_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ci | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | ci->ep0in->ci->ep0out->type | 0-3 |
| PARAM_VALUE | 0 | ci->hw_bank.regmap | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->phy->dev.power.wakeirq->status | 0-4294967295 |
| BUF_SIZE | 0 | ci | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | ci | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | ci->dev | (-1),1616 |
| BUF_SIZE | 0 | ci->irq | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | ci->platdata | (-1),1-s32max |
| DATA_SOURCE | 0 | ci | $0 |
| DATA_SOURCE | 1 | val | $3 [m] |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | ci->rev | 0-u32max[c] |
| HOST_DATA | 1 | val | 0-u32max[c] |
| UNITS | 0 | ci | unit_byte |
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | hwep->lock | ||
| HALF_LOCKED2 | irq | ||
| HALF_LOCKED2 | 0 | &ci->lock |
drivers/usb/chipidea/ulpi.c hw_write() -> __hw_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ci | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->hw_bank.regmap | 4096-ptr_max |
| PARAM_VALUE | 1 | val | 0-2684354560 |
| BUF_SIZE | 0 | ci | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | ci | s32min-(-2),1-s32max |
| CAPPED_DATA | 1 | val | 1 |
| DATA_SOURCE | 0 | ci | $0 |
| DATA_SOURCE | 1 | val | $3 [m] |
| BIT_INFO | 1 | val | 0x0,0xe00000ff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | val | 0-s32max[c] |
| UNITS | 0 | ci | unit_byte |
drivers/usb/chipidea/ci_hdrc_npcm.c hw_write() -> __hw_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ci | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | ci->fsm.ops->add_timer | 414956810465742848,4296983535367467008 |
| PARAM_VALUE | 0 | ci->fsm.ops->chrg_vbus | 0,2820790914838061056 |
| PARAM_VALUE | 0 | ci->fsm.ops->del_timer | 945534646104719360,1500804826409422848 |
| PARAM_VALUE | 0 | ci->fsm.ops->drv_vbus | 6422573144063873024,8467552539765321728 |
| PARAM_VALUE | 0 | ci->fsm.ops->loc_conn | 748280648660606976,7873567292090933248 |
| PARAM_VALUE | 0 | ci->fsm.ops->loc_sof | 2161566392340684800,8211045230474645504 |
| PARAM_VALUE | 0 | ci->fsm.ops->start_adp_prb | 0 |
| PARAM_VALUE | 0 | ci->fsm.ops->start_adp_sns | 0 |
| PARAM_VALUE | 0 | ci->fsm.ops->start_gadget | 4774060388450500608,6610511371955978240 |
| PARAM_VALUE | 0 | ci->fsm.ops->start_host | 364425709206450176,7926693279510343680 |
| PARAM_VALUE | 0 | ci->fsm.ops->start_pulse | 337382384946118656,8388759565004263424 |
| PARAM_VALUE | 0 | ci->gadget.dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | ci->gadget.dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | ci->gadget.dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | ci->gadget.ops->vbus_draw | 0,315439885436596224,2791489460834643968,3051329448734011392,3641458181225377792,7056777703058034688,7126685895025909760,7633688635854323712 |
| PARAM_VALUE | 0 | ci->hw_bank.regmap | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->phy->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | ci->platdata | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->platdata->notify_event | 1-u64max |
| PARAM_VALUE | 0 | ci->usb_phy->io_dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | val | 0 |
| BUF_SIZE | 0 | ci | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | ci | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | ci | $0 |
| DATA_SOURCE | 1 | val | $3 [m] |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | val | 0[c] |
| NO_OVERFLOW_SIMPLE | 0 | ci->wq->rescuer->task->dl.pi_se->dl_runtime |
drivers/usb/chipidea/otg.c hw_write() -> __hw_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ci | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->ci_hw_ep->dir | 0-1 |
| PARAM_VALUE | 0 | ci->ci_hw_ep->num | 0-15 |
| PARAM_VALUE | 0 | ci->ci_hw_ep->type | 0-3 |
| PARAM_VALUE | 0 | ci->ci_hw_ep->wedge | 0-1 |
| PARAM_VALUE | 0 | ci->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | ci->ep0in->dir | 0-1 |
| PARAM_VALUE | 0 | ci->ep0in->num | 0-15 |
| PARAM_VALUE | 0 | ci->ep0in->type | 0-3 |
| PARAM_VALUE | 0 | ci->ep0in->wedge | 0-1 |
| PARAM_VALUE | 0 | ci->ep0out->dir | 0-1 |
| PARAM_VALUE | 0 | ci->ep0out->num | 0-15 |
| PARAM_VALUE | 0 | ci->ep0out->type | 0-3 |
| PARAM_VALUE | 0 | ci->ep0out->wedge | 0-1 |
| PARAM_VALUE | 0 | ci->fsm.ops->add_timer | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->fsm.ops->chrg_vbus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ci->fsm.ops->del_timer | 945534646104719360,1500804826409422848 |
| PARAM_VALUE | 0 | ci->fsm.ops->drv_vbus | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->fsm.ops->loc_conn | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->fsm.ops->loc_sof | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->fsm.ops->start_adp_prb | 0 |
| PARAM_VALUE | 0 | ci->fsm.ops->start_adp_sns | 0 |
| PARAM_VALUE | 0 | ci->fsm.ops->start_gadget | 4774060388450500608,6610511371955978240,8852976329558839296 |
| PARAM_VALUE | 0 | ci->fsm.ops->start_host | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->fsm.ops->start_pulse | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->gadget.dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | ci->gadget.dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | ci->gadget.dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | ci->hw_bank.regmap | 4096-ptr_max |
| PARAM_VALUE | 0 | ci->phy->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | ci->usb_phy->io_dev->power.wakeirq->status | 0-4294967295 |
| BUF_SIZE | 0 | ci | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | ci | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | ci->dev | (-1),1616 |
| BUF_SIZE | 0 | ci->fsm.host_req_flag | (-1),1 |
| BUF_SIZE | 0 | ci->fsm.ops | (-1),88 |
| BUF_SIZE | 0 | ci->fsm.otg | (-1),88 |
| BUF_SIZE | 0 | ci->gadget.ep0 | (-1),72 |
| BUF_SIZE | 0 | ci->gadget.name | s32min,(-10),(-1),1-s32max |
| BUF_SIZE | 0 | ci->gadget.ops | (-1),136 |
| BUF_SIZE | 0 | ci->gadget.otg_caps | (-1),6 |
| BUF_SIZE | 0 | ci->irq | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | ci->otg.gadget | (-1),1888 |
| BUF_SIZE | 0 | ci->platdata | (-1),1-s32max |
| BUF_SIZE | 0 | ci->qh_pool | (-1),192 |
| BUF_SIZE | 0 | ci->role_switch | (-1),1848 |
| BUF_SIZE | 0 | ci->td_pool | (-1),192 |
| BUF_SIZE | 0 | ci->wq | (-1),512,528-8720 |
| CAPPED_DATA | 1 | val | 1 |
| DATA_SOURCE | 0 | ci | $0 |
| DATA_SOURCE | 1 | val | $3 [m] |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | ci->ep0in->ep.maxpacket | u16max[c] |
| HOST_DATA | 0 | ci->ep0in->ep.maxpacket_limit | u16max[c] |
| HOST_DATA | 0 | ci->ep0out->ep.maxpacket | u16max[c] |
| HOST_DATA | 0 | ci->ep0out->ep.maxpacket_limit | u16max[c] |
| HOST_DATA | 0 | ci->gadget.ep0->maxpacket | u16max[c] |
| HOST_DATA | 0 | ci->gadget.ep0->maxpacket_limit | u16max[c] |
| HOST_DATA | 0 | ci->is_otg | 1 |
| HOST_DATA | 0 | ci->rev | 0-u32max[c] |
| HOST_DATA | 1 | val | 0-u32max[c] |
| UNITS | 0 | ci | unit_byte |
| HALF_LOCKED2 | &fsm->lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | 0 | &ci->lock | |
| HALF_LOCKED2 | 0 | &ci->mutex |