Defined in 1 files as a function:
Referenced in 28 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
2 |
size |
8192 |
| BUF_SIZE |
1 |
v |
8192 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
v |
825169730377281536 |
| PARAM_VALUE |
2 |
size |
108 |
| BUF_SIZE |
1 |
v |
108 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| UNITS |
2 |
size |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
v |
4096-ptr_max |
| PARAM_VALUE |
2 |
size |
8 |
| BUF_SIZE |
1 |
v |
8 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| UNITS |
2 |
size |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
2 |
size |
512 |
| BUF_SIZE |
1 |
v |
512 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| UNITS |
2 |
size |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
s |
4096-ptr_max |
| PARAM_VALUE |
0 |
s->left |
0-9223372036854775798 |
| PARAM_VALUE |
1 |
v |
5347024868601057280 |
| PARAM_VALUE |
2 |
size |
48 |
| BUF_SIZE |
1 |
v |
48 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| UNITS |
2 |
size |
unit_byte |
| HALF_LOCKED2 |
|
&vcpu->mutex |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
s |
4096-ptr_max |
| PARAM_VALUE |
0 |
s->left |
0-9223372036854775797 |
| PARAM_VALUE |
1 |
v |
1580406656210194432 |
| PARAM_VALUE |
2 |
size |
64 |
| BUF_SIZE |
1 |
v |
64 |
| MEM_ZERO |
1 |
v |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| UNITS |
2 |
size |
unit_byte |
| HALF_LOCKED2 |
|
&vcpu->mutex |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
s |
4096-ptr_max |
| PARAM_VALUE |
0 |
s->left |
0-9223372036854775796 |
| PARAM_VALUE |
1 |
v |
8843656685655764992 |
| PARAM_VALUE |
2 |
size |
8 |
| BUF_SIZE |
1 |
v |
8 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| UNITS |
2 |
size |
unit_byte |
| HALF_LOCKED2 |
|
&vcpu->mutex |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
s |
4096-ptr_max |
| PARAM_VALUE |
0 |
s->left |
0-9223372036854775796 |
| PARAM_VALUE |
2 |
size |
13,160,256 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
&vcpu->mutex |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
s->left |
0-9223372036854775799 |
| PARAM_VALUE |
2 |
size |
8,24,128,256 |
| BUF_SIZE |
1 |
v |
4,128,256,512 |
| DATA_SOURCE |
0 |
s |
$1 |
| DATA_SOURCE |
2 |
size |
$4 |
| HARD_MAX |
2 |
size |
256 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| UNITS |
2 |
size |
unit_byte |
| HALF_LOCKED2 |
|
&vcpu->mutex |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
s->left |
1-9223372036854775799 |
| PARAM_VALUE |
1 |
v |
1904680270424600576 |
| PARAM_VALUE |
2 |
size |
16 |
| BUF_SIZE |
1 |
v |
16 |
| MEM_ZERO |
1 |
v |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| UNITS |
2 |
size |
unit_byte |