Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
ctx |
4096-ptr_max |
| PARAM_VALUE |
0 |
ctx->g |
0 |
| PARAM_VALUE |
0 |
ctx->p |
0 |
| PARAM_VALUE |
0 |
ctx->xa |
0 |
| PARAM_VALUE |
0 |
*ctx->g->d |
13835058055282163712 |
| PARAM_VALUE |
0 |
*ctx->p->d |
13835058055282163712 |
| PARAM_VALUE |
0 |
*ctx->xa->d |
13835058055282163712 |
| PARAM_VALUE |
1 |
params |
4630725750542819328 |
| PARAM_VALUE |
1 |
params->p |
4096-ptr_max |
| MEM_ZERO |
0 |
ctx |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NO_OVERFLOW_SIMPLE |
0 |
ctx->g->alloced |
|
| NO_OVERFLOW_SIMPLE |
0 |
ctx->g->nlimbs |
|
| NO_OVERFLOW_SIMPLE |
0 |
ctx->p->alloced |
|
| NO_OVERFLOW_SIMPLE |
0 |
ctx->p->nlimbs |
|
| NO_OVERFLOW_SIMPLE |
0 |
ctx->xa->alloced |
|
| NO_OVERFLOW_SIMPLE |
0 |
ctx->xa->nlimbs |
|
| HALF_LOCKED2 |
|
&chip->ops_sem |
|
| HALF_LOCKED2 |
|
&chip->tpm_mutex |
|
