Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
match |
8970697590846300160 |
| PARAM_VALUE |
1 |
value |
6396844638825816064 |
| BUF_SIZE |
0 |
match |
8 |
| STR_LEN |
0 |
match |
7 |
| TERMINATED |
0 |
match |
1 |
| HALF_LOCKED2 |
|
rcu_read |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
match |
521444872735764480 |
| PARAM_VALUE |
1 |
value |
5681854758221004800 |
| PARAM_VALUE |
1 |
*value |
8 |
| BUF_SIZE |
0 |
match |
8 |
| STR_LEN |
0 |
match |
7 |
| TERMINATED |
0 |
match |
1 |
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
rcu_read |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
match |
3055037164034748416 |
| PARAM_VALUE |
1 |
value |
9217761357538414592 |
| PARAM_VALUE |
1 |
*value |
16 |
| BUF_SIZE |
0 |
match |
6 |
| STR_LEN |
0 |
match |
5 |
| TERMINATED |
0 |
match |
1 |
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
rcu_read |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
match |
8405306244921868288 |
| PARAM_VALUE |
1 |
value |
3938359283721310208 |
| PARAM_VALUE |
1 |
*value |
8 |
| BUF_SIZE |
0 |
match |
13 |
| STR_LEN |
0 |
match |
12 |
| TERMINATED |
0 |
match |
1 |
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
rcu_read |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
match |
5702626635578241024 |
| PARAM_VALUE |
1 |
value |
8896317989912719360 |
| PARAM_VALUE |
1 |
*value |
0 |
| BUF_SIZE |
0 |
match |
7 |
| STR_LEN |
0 |
match |
6 |
| TERMINATED |
0 |
match |
1 |
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
rcu_read |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
match |
7526098627489406976 |
| PARAM_VALUE |
1 |
value |
1432561041144786944 |
| PARAM_VALUE |
1 |
*value |
1 |
| BUF_SIZE |
0 |
match |
10 |
| STR_LEN |
0 |
match |
9 |
| TERMINATED |
0 |
match |
1 |
| NOCHECK_CALL |
|
|
|
| HALF_LOCKED2 |
|
rcu_read |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
match |
5065097324784488448 |
| PARAM_VALUE |
1 |
value |
9011701344834347008 |
| LOCK2 |
|
global &dbg_master_lock |
|
| LOCK2 |
|
rcu_read |
|
| HALF_LOCKED2 |
|
flags |
|
| HALF_LOCKED2 |
|
global &dbg_slave_lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
match |
5065097324784488448 |
| PARAM_VALUE |
1 |
value |
5574625273592082432 |
| LOCK2 |
|
global &dbg_master_lock |
|
| LOCK2 |
|
rcu_read |
|
| HALF_LOCKED2 |
|
flags |
|
| HALF_LOCKED2 |
|
global &dbg_slave_lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
match |
9020913850483163136 |
| PARAM_VALUE |
1 |
value |
6394296116774699008 |
| BUF_SIZE |
0 |
match |
10 |
| STR_LEN |
0 |
match |
9 |
| TERMINATED |
0 |
match |
1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
flags |
|
| HALF_LOCKED2 |
|
rcu_read |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
match |
4365016399995805696 |
| PARAM_VALUE |
1 |
value |
5882046448022749184 |
| BUF_SIZE |
0 |
match |
6 |
| STR_LEN |
0 |
match |
5 |
| TERMINATED |
0 |
match |
1 |
| PREEMPT_ADD |
|
|
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| LOCK2 |
|
flags |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
match |
4333536804995334144 |
| PARAM_VALUE |
1 |
value |
1569179328238395392 |
| BUF_SIZE |
0 |
match |
8 |
| STR_LEN |
0 |
match |
7 |
| TERMINATED |
0 |
match |
1 |
| PREEMPT_ADD |
|
|
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| LOCK2 |
|
flags |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
match |
8970697590846300160 |
| PARAM_VALUE |
1 |
value |
8667733616295665664 |
| BUF_SIZE |
0 |
match |
8 |
| STR_LEN |
0 |
match |
7 |
| TERMINATED |
0 |
match |
1 |
| PREEMPT_ADD |
|
|
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| LOCK2 |
|
flags |
|