Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
2 |
flags |
0-3 |
| PARAM_VALUE |
3 |
priv_flags |
0,2 |
| PARAM_VALUE |
6 |
page_store |
0 |
| PARAM_VALUE |
7 |
context |
0,4096-ptr_max |
| PARAM_VALUE |
7 |
context->cid |
0-4294967294 |
| PARAM_VALUE |
8 |
wakeup_cb |
0,787392409435348992 |
| PARAM_VALUE |
9 |
client_data |
0,4096-ptr_max |
| PARAM_VALUE |
10 |
ent |
8268624979364855808 |
| PARAM_VALUE |
10 |
*ent |
0 |
| PARAM_VALUE |
11 |
swap |
9089708100848287744 |
| BUF_SIZE |
9 |
client_data |
0,152 |
| BUF_SIZE |
9 |
client_data |
0,152 |
| DATA_SOURCE |
1 |
peer |
$5 |
| DATA_SOURCE |
2 |
flags |
$6 |
| DATA_SOURCE |
3 |
priv_flags |
$7 |
| DATA_SOURCE |
4 |
produce_size |
$2 |
| DATA_SOURCE |
5 |
consume_size |
$4 |
| DATA_SOURCE |
7 |
context |
r vmci_ctx_get |
| DATA_SOURCE |
8 |
wakeup_cb |
$8 |
| DATA_SOURCE |
9 |
client_data |
$9 |
| BIT_INFO |
8 |
wakeup_cb |
0x0,0xaed61397f3ba000 |
| BIT_INFO |
8 |
wakeup_cb |
0x0,0xaed61397f3ba000 |
| UNITS |
4 |
produce_size |
unit_byte |
| UNITS |
5 |
consume_size |
unit_byte |
| LOCK2 |
|
&pool->lock |
|
| HALF_LOCKED2 |
|
listener |
|
| HALF_LOCKED2 |
|
pending |
|
| HALF_LOCKED2 |
|
sk |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
3 |
priv_flags |
0 |
| PARAM_VALUE |
6 |
page_store |
0,1658785309005709312 |
| PARAM_VALUE |
8 |
wakeup_cb |
0 |
| PARAM_VALUE |
9 |
client_data |
0 |
| PARAM_VALUE |
10 |
ent |
0 |
| PARAM_VALUE |
11 |
swap |
0 |
| DATA_SOURCE |
0 |
handle |
$0 |
| DATA_SOURCE |
1 |
peer |
$1 |
| DATA_SOURCE |
2 |
flags |
$2 |
| DATA_SOURCE |
3 |
priv_flags |
$3 |
| DATA_SOURCE |
4 |
produce_size |
$4 |
| DATA_SOURCE |
5 |
consume_size |
$5 |
| DATA_SOURCE |
6 |
page_store |
$6 |
| DATA_SOURCE |
7 |
context |
$7 |
| USER_DATA |
1 |
peer |
0-u32max |
| USER_DATA |
2 |
flags |
0-u32max |
| USER_DATA |
4 |
produce_size |
0-u64max |
| USER_DATA |
5 |
consume_size |
0-u64max |
| USER_DATA |
6 |
page_store->len |
0-u32max |
| USER_DATA |
6 |
page_store->pages |
0-u64max |