Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
req |
3401412974983766016 |
| PARAM_VALUE |
2 |
rsp |
205550223996313600 |
| DATA_SOURCE |
0 |
work |
$0 |
| NOCHECK_CALL |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| PARAM_VALUE |
0 |
work->response_buf |
16,4096-ptr_max |
| PARAM_VALUE |
1 |
req |
1844236109844631552 |
| PARAM_VALUE |
2 |
rsp |
7755003336614518784 |
| DATA_SOURCE |
0 |
work |
$0 |
| NOCHECK_CALL |
|
|
|
| USER_PTR |
0 |
work->request_buf |
|
| LOCK2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| PARAM_VALUE |
0 |
work->response_buf |
16,4096-ptr_max |
| PARAM_VALUE |
1 |
req |
4050770967705419776 |
| PARAM_VALUE |
2 |
rsp |
7127298541041917952 |
| DATA_SOURCE |
0 |
work |
$0 |
| NOCHECK_CALL |
|
|
|
| USER_PTR |
0 |
work->request_buf |
|
| LOCK2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| PARAM_VALUE |
0 |
work->response_buf |
16,4096-ptr_max |
| PARAM_VALUE |
1 |
req |
1558158958031986688 |
| PARAM_VALUE |
2 |
rsp |
5999754615869837312 |
| DATA_SOURCE |
0 |
work |
$0 |
| NOCHECK_CALL |
|
|
|
| USER_PTR |
0 |
work->request_buf |
|
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| PARAM_VALUE |
0 |
work->response_buf |
16,4096-ptr_max |
| PARAM_VALUE |
1 |
req |
1543065138063298560 |
| PARAM_VALUE |
2 |
rsp |
6021422994372616192 |
| DATA_SOURCE |
0 |
work |
$0 |
| NOCHECK_CALL |
|
|
|
| USER_PTR |
0 |
work->request_buf |
|
| LOCK2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| PARAM_VALUE |
0 |
work->response_buf |
16,4096-ptr_max |
| PARAM_VALUE |
1 |
req |
4415714730206040064 |
| PARAM_VALUE |
2 |
rsp |
1973516444901003264 |
| DATA_SOURCE |
0 |
work |
$0 |
| NOCHECK_CALL |
|
|
|
| USER_PTR |
0 |
work->request_buf |
|
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| PARAM_VALUE |
0 |
work->response_buf |
16,4096-ptr_max |
| PARAM_VALUE |
1 |
req |
3463378114284212224 |
| PARAM_VALUE |
2 |
rsp |
8805836769482489856 |
| DATA_SOURCE |
0 |
work |
$0 |
| NOCHECK_CALL |
|
|
|
| USER_PTR |
0 |
work->request_buf |
|
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| PARAM_VALUE |
0 |
work->response_buf |
16,4096-ptr_max |
| PARAM_VALUE |
1 |
req |
5543250250437169152 |
| PARAM_VALUE |
2 |
rsp |
7891467887347200000 |
| DATA_SOURCE |
0 |
work |
$0 |
| NOCHECK_CALL |
|
|
|
| USER_PTR |
0 |
work->request_buf |
|
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| PARAM_VALUE |
0 |
work->response_buf |
16,4096-ptr_max |
| PARAM_VALUE |
1 |
req |
8717649411724128256 |
| PARAM_VALUE |
2 |
rsp |
6685732766703988736 |
| DATA_SOURCE |
0 |
work |
$0 |
| NOCHECK_CALL |
|
|
|
| USER_PTR |
0 |
work->request_buf |
|
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| PARAM_VALUE |
0 |
work->response_buf |
16,4096-ptr_max |
| PARAM_VALUE |
1 |
req |
6034236369282179072 |
| PARAM_VALUE |
2 |
rsp |
4237218048929927168 |
| DATA_SOURCE |
0 |
work |
$0 |
| NOCHECK_CALL |
|
|
|
| USER_PTR |
0 |
work->request_buf |
|
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| PARAM_VALUE |
0 |
work->response_buf |
16,4096-ptr_max |
| PARAM_VALUE |
1 |
req |
5702799467599507456 |
| PARAM_VALUE |
2 |
rsp |
4912130603304202240 |
| DATA_SOURCE |
0 |
work |
$0 |
| NOCHECK_CALL |
|
|
|
| USER_PTR |
0 |
work->request_buf |
|
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| PARAM_VALUE |
0 |
work->response_buf |
16,4096-ptr_max |
| PARAM_VALUE |
1 |
req |
5612211862792368128 |
| PARAM_VALUE |
2 |
rsp |
5922834677845250048 |
| DATA_SOURCE |
0 |
work |
$0 |
| NOCHECK_CALL |
|
|
|
| USER_PTR |
0 |
work->request_buf |
|
| LOCK2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| PARAM_VALUE |
0 |
work->response_buf |
16,4096-ptr_max |
| PARAM_VALUE |
1 |
req |
9139240102335717376 |
| PARAM_VALUE |
2 |
rsp |
6345356831096168448 |
| DATA_SOURCE |
0 |
work |
$0 |
| NOCHECK_CALL |
|
|
|
| USER_PTR |
0 |
work->request_buf |
|
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| PARAM_VALUE |
0 |
work->response_buf |
16,4096-ptr_max |
| PARAM_VALUE |
1 |
req |
6676752349489442816 |
| PARAM_VALUE |
2 |
rsp |
1171390106014797824 |
| DATA_SOURCE |
0 |
work |
$0 |
| NOCHECK_CALL |
|
|
|
| USER_PTR |
0 |
work->request_buf |
|
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| PARAM_VALUE |
0 |
work->response_buf |
16,4096-ptr_max |
| PARAM_VALUE |
1 |
req |
857184860283006976 |
| PARAM_VALUE |
2 |
rsp |
4057194123395649536 |
| DATA_SOURCE |
0 |
work |
$0 |
| NOCHECK_CALL |
|
|
|
| USER_PTR |
0 |
work->request_buf |
|
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| PARAM_VALUE |
0 |
work->response_buf |
16,4096-ptr_max |
| PARAM_VALUE |
1 |
req |
1311617387437510656 |
| PARAM_VALUE |
2 |
rsp |
8585593298400161792 |
| DATA_SOURCE |
0 |
work |
$0 |
| NOCHECK_CALL |
|
|
|
| USER_PTR |
0 |
work->request_buf |
|
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| PARAM_VALUE |
0 |
work->response_buf |
16,4096-ptr_max |
| PARAM_VALUE |
1 |
req |
7674494737227083776 |
| PARAM_VALUE |
2 |
rsp |
799017170403852288 |
| DATA_SOURCE |
0 |
work |
$0 |
| NOCHECK_CALL |
|
|
|
| USER_PTR |
0 |
work->request_buf |
|
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| PARAM_VALUE |
0 |
work->response_buf |
16,4096-ptr_max |
| PARAM_VALUE |
1 |
req |
7499054215966265344 |
| PARAM_VALUE |
2 |
rsp |
1252390826255740928 |
| DATA_SOURCE |
0 |
work |
$0 |
| NOCHECK_CALL |
|
|
|
| USER_PTR |
0 |
work->request_buf |
|
| LOCK2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
work |
4096-ptr_max |
| PARAM_VALUE |
1 |
req |
389752406057877504 |
| PARAM_VALUE |
2 |
rsp |
7424014128677998592 |
| DATA_SOURCE |
0 |
work |
$0 |
| NOCHECK_CALL |
|
|
|