Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
node |
0 |
| PARAM_VALUE |
1 |
skb |
4096-ptr_max |
| PARAM_VALUE |
1 |
skb->data |
4096-ptr_max |
| PARAM_VALUE |
1 |
skb->data_len |
0 |
| PARAM_VALUE |
3 |
from |
4096-ptr_max |
| PARAM_VALUE |
4 |
to |
4096-ptr_max |
| BUF_SIZE |
1 |
skb |
0-s32max |
| BUF_SIZE |
1 |
skb |
0-s32max |
| BUF_SIZE |
4 |
to |
(-1)-0,12,28,128 |
| BUF_SIZE |
4 |
to |
(-1)-0,12,28,128 |
| CAPPED_DATA |
4 |
to->sq_node |
1 |
| DATA_SOURCE |
1 |
skb |
$1 |
| DATA_SOURCE |
2 |
type |
$2 |
| DATA_SOURCE |
3 |
from |
$3 |
| DATA_SOURCE |
4 |
to |
$4 |
| NOSPEC |
4 |
to->sq_node |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| USER_DATA |
4 |
to->sq_node |
0-4294967294[c][u] |
| USER_DATA |
4 |
to->sq_port |
0-u32max[u] |
| NO_OVERFLOW_SIMPLE |
1 |
skb->sk->sk_backlog.len |
|
| UNITS |
4 |
to |
unit_byte |
| USER_PTR |
4 |
to |
|
| LOCK2 |
|
sk |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
node |
0 |
| PARAM_VALUE |
1 |
skb |
4096-ptr_max |
| PARAM_VALUE |
1 |
skb->data |
4096-ptr_max |
| PARAM_VALUE |
1 |
skb->data_len |
0 |
| PARAM_VALUE |
2 |
type |
3 |
| PARAM_VALUE |
3 |
from |
4337893402988220416 |
| PARAM_VALUE |
3 |
from->sq_family |
42 |
| PARAM_VALUE |
3 |
from->sq_port |
4294967294 |
| PARAM_VALUE |
4 |
to |
2924244743456604160 |
| PARAM_VALUE |
4 |
to->sq_family |
42 |
| PARAM_VALUE |
4 |
to->sq_node |
1 |
| PARAM_VALUE |
4 |
to->sq_port |
4294967294 |
| BUF_SIZE |
1 |
skb |
0-s32max |
| BUF_SIZE |
1 |
skb |
0-s32max |
| DATA_SOURCE |
1 |
skb |
r qrtr_alloc_ctrl_packet |
| PREEMPT_ADD |
|
|
<- disables preempt |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| LOCK2 |
|
flags |
|
| LOCK2 |
|
global &qrtr_nodes_lock |
|
| HALF_LOCKED2 |
|
&dev->mutex |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
node |
0,4096-ptr_max |
| PARAM_VALUE |
1 |
skb |
4096-ptr_max |
| PARAM_VALUE |
1 |
skb->data |
4096-ptr_max |
| PARAM_VALUE |
1 |
skb->data_len |
0 |
| PARAM_VALUE |
3 |
from |
4096-ptr_max |
| PARAM_VALUE |
4 |
to |
4096-ptr_max |
| BUF_SIZE |
1 |
skb |
0-s32max |
| BUF_SIZE |
1 |
skb |
0-s32max |
| BUF_SIZE |
4 |
to |
(-1)-0,12,28,128 |
| BUF_SIZE |
4 |
to |
(-1)-0,12,28,128 |
| CAPPED_DATA |
4 |
to->sq_node |
1 |
| DATA_SOURCE |
1 |
skb |
r sock_alloc_send_skb |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| USER_DATA |
4 |
to->sq_node |
0-4294967294[c][u] |
| USER_DATA |
4 |
to->sq_port |
0-u32max[u] |
| UNITS |
4 |
to |
unit_byte |
| USER_PTR |
4 |
to |
|
| LOCK2 |
|
sk |
|
| HALF_LOCKED2 |
|
&vq->mutex |
|
| HALF_LOCKED2 |
|
sk |
|