Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
regbuf |
7836253338553450496 |
| PARAM_VALUE |
0 |
regbuf->eax |
134 |
| PARAM_VALUE |
0 |
regbuf->ebx |
0 |
| PARAM_VALUE |
0 |
regbuf->ecx |
0 |
| PARAM_VALUE |
0 |
regbuf->edx |
0 |
| PARAM_VALUE |
1 |
result |
7265934649020358656 |
| PARAM_VALUE |
1 |
result->length |
u64max |
| PARAM_VALUE |
1 |
result->pointer |
0 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
regbuf |
6175562431294570496 |
| PARAM_VALUE |
0 |
regbuf->eax |
38416 |
| PARAM_VALUE |
0 |
regbuf->ebx |
41525 |
| PARAM_VALUE |
0 |
regbuf->ecx |
0 |
| PARAM_VALUE |
0 |
regbuf->edx |
0 |
| PARAM_VALUE |
1 |
result |
8003013754662297600 |
| PARAM_VALUE |
1 |
result->length |
u64max |
| PARAM_VALUE |
1 |
result->pointer |
0 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
regbuf |
6175562431294570496 |
| PARAM_VALUE |
0 |
regbuf->eax |
38416 |
| PARAM_VALUE |
0 |
regbuf->ebx |
564 |
| PARAM_VALUE |
0 |
regbuf->ecx |
0 |
| PARAM_VALUE |
0 |
regbuf->edx |
0 |
| PARAM_VALUE |
1 |
result |
8003013754662297600 |
| PARAM_VALUE |
1 |
result->pointer |
4096-ptr_max |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
regbuf |
1046754005416906752 |
| PARAM_VALUE |
0 |
regbuf->eax |
38416 |
| PARAM_VALUE |
0 |
regbuf->ebx |
49,52-53,305,308-309 |
| PARAM_VALUE |
0 |
regbuf->ecx |
0 |
| PARAM_VALUE |
0 |
regbuf->edx |
0 |
| PARAM_VALUE |
1 |
result |
0 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|