Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/usb/gadget/udc/gr_udc.c gr_remove() -> gr_ep_remove()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->desc_pool | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->desc_pool->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | dev->desc_pool->dev->kobj.sd->attr.notify_next | 0,426918848001064960 |
| PARAM_VALUE | 0 | dev->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | dev->driver | 0 |
| PARAM_VALUE | 0 | dev->epi | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->epo | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->gadget.dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | dev->nepo | 1-u32max |
| PARAM_VALUE | 1 | num | 0-s32max |
| PARAM_VALUE | 2 | is_in | 0 |
| BUF_SIZE | 0 | dev | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | dev | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | dev->desc_pool | 1 |
| CAPPED_DATA | 1 | num | 1 |
| FUZZY_MAX | 1 | num | 0 |
| PARAM_COMPARE | 0 | dev->nepo | > $1 |
| PARAM_COMPARE | 1 | num | < $0->nepo |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | dev | unit_byte |
drivers/usb/gadget/udc/gr_udc.c gr_remove() -> gr_ep_remove()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->desc_pool | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->desc_pool->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | dev->desc_pool->dev->kobj.sd->attr.notify_next | 0,426918848001064960 |
| PARAM_VALUE | 0 | dev->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | dev->driver | 0 |
| PARAM_VALUE | 0 | dev->epi | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->epo | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->gadget.dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | dev->nepi | 1-u32max |
| PARAM_VALUE | 0 | dev->nepo | 0-s32max |
| PARAM_VALUE | 1 | num | 0-s32max |
| PARAM_VALUE | 2 | is_in | 1 |
| BUF_SIZE | 0 | dev | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | dev | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | dev->desc_pool | 1 |
| CAPPED_DATA | 0 | dev->nepo | 1 |
| CAPPED_DATA | 1 | num | 1 |
| FUZZY_MAX | 1 | num | 0 |
| PARAM_COMPARE | 0 | dev->nepi | > $1 |
| PARAM_COMPARE | 1 | num | < $0->nepi |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | dev | unit_byte |