Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/opp/core.c _find_key_ceil() -> _find_key()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 3 | available | 1 |
| BUF_SIZE | 0 | dev | (-1),4,16,24-s32max |
| BUF_SIZE | 0 | dev | (-1),4,16,24-s32max |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | key | $1 |
| DATA_SOURCE | 2 | index | $2 |
| DATA_SOURCE | 3 | available | $3 |
| DATA_SOURCE | 4 | read | $4 |
| DATA_SOURCE | 6 | assert | $5 |
| STR_LEN | 0 | dev | (-1),7-9,11-29,31-34,38 |
| STR_LEN | 0 | dev | (-1),7-9,11-29,31-34,38 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | *key | 0-s32max[c] |
| NO_OVERFLOW_SIMPLE | 1 | *key | |
| UNITS | 0 | dev | unit_byte |
| HALF_LOCKED2 | 0 | &dev->mutex |
drivers/opp/core.c _find_key_exact() -> _find_key()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 2 | index | $2 |
| DATA_SOURCE | 3 | available | $3 |
| DATA_SOURCE | 4 | read | $4 |
| DATA_SOURCE | 6 | assert | $5 |
| STR_LEN | 0 | dev | (-1),6-7 |
| STR_LEN | 0 | dev | (-1),6-7 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | *key | 0-274877906880000000[c] |
| NO_OVERFLOW_SIMPLE | 1 | *key | |
| UNITS | 0 | dev | unit_byte |
drivers/opp/core.c _find_key_floor() -> _find_key()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 3 | available | 1 |
| BUF_SIZE | 0 | dev | (-1),4,16,24-s32max |
| BUF_SIZE | 0 | dev | (-1),4,16,24-s32max |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | key | $1 |
| DATA_SOURCE | 2 | index | $2 |
| DATA_SOURCE | 3 | available | $3 |
| DATA_SOURCE | 4 | read | $4 |
| DATA_SOURCE | 6 | assert | $5 |
| STR_LEN | 0 | dev | (-1),7,9,12,15 |
| STR_LEN | 0 | dev | (-1),7,9,12,15 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | *key | 0-s32max[c] |
| NO_OVERFLOW_SIMPLE | 1 | *key | |
| UNITS | 0 | dev | unit_byte |
| HALF_LOCKED2 | 0 | &dev->mutex |