Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/regulator/core.c _regulator_do_enable() -> _regulator_get_enable_time()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rdev | 4096-ptr_max |
| PARAM_VALUE | 0 | rdev->constraints | 4096-ptr_max |
| PARAM_VALUE | 0 | rdev->constraints->valid_ops_mask | 8-u32max |
| PARAM_VALUE | 0 | rdev->supply | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rdev->use_count | 0 |
| CAPPED_DATA | 0 | rdev | 1 |
| CAPPED_DATA | 0 | rdev->coupling_desc.n_coupled | 1 |
| DATA_SOURCE | 0 | rdev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |