Defined in 1 files as a function:
Referenced in 4 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
z |
4096-ptr_max |
| PARAM_VALUE |
1 |
w |
2 |
| BUF_SIZE |
0 |
z |
(-1)-0,81920 |
| BUF_SIZE |
0 |
z |
(-1)-0,81920 |
| DATA_SOURCE |
0 |
z |
$0 |
| PREEMPT_ADD |
|
|
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
&dev->event_lock |
|
| HALF_LOCKED2 |
|
global &kbd_event_lock |
|
| HALF_LOCKED2 |
|
global &oom_lock |
|
| HALF_LOCKED2 |
|
irq |
|
| HALF_LOCKED2 |
|
rcu_read |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
z |
1-u64max |
| PARAM_VALUE |
1 |
w |
1 |
| BUF_SIZE |
0 |
z |
(-1)-0,81920 |
| BUF_SIZE |
0 |
z |
(-1)-0,81920 |
| DATA_SOURCE |
0 |
z |
$0 |
| PREEMPT_ADD |
|
|
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
z |
4096-ptr_max |
| PARAM_VALUE |
1 |
w |
0 |
| BUF_SIZE |
0 |
z |
(-1)-0,81920 |
| BUF_SIZE |
0 |
z |
(-1)-0,81920 |
| DATA_SOURCE |
0 |
z |
$0 |
| PREEMPT_ADD |
|
|
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
&dev->event_lock |
|
| HALF_LOCKED2 |
|
global &kbd_event_lock |
|
| HALF_LOCKED2 |
|
global &oom_lock |
|
| HALF_LOCKED2 |
|
irq |
|
| HALF_LOCKED2 |
|
rcu_read |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
z |
1-u64max |
| PARAM_VALUE |
1 |
w |
1 |
| BUF_SIZE |
0 |
z |
(-1)-0,81920 |
| BUF_SIZE |
0 |
z |
(-1)-0,81920 |
| DATA_SOURCE |
0 |
z |
$0 |
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
z |
4096-ptr_max |
| PARAM_VALUE |
1 |
w |
2 |
| BUF_SIZE |
0 |
z |
(-1)-0,81920 |
| BUF_SIZE |
0 |
z |
(-1)-0,81920 |
| CAPPED_DATA |
0 |
z |
1 |
| DATA_SOURCE |
0 |
z |
$0 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
&m->lock |
|
| HALF_LOCKED2 |
0 |
&z->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
z |
4096-ptr_max |
| PARAM_VALUE |
1 |
w |
1 |
| BUF_SIZE |
0 |
z |
(-1)-0,81920 |
| BUF_SIZE |
0 |
z |
(-1)-0,81920 |
| CAPPED_DATA |
0 |
z |
1 |
| DATA_SOURCE |
0 |
z |
$0 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
&m->lock |
|
| HALF_LOCKED2 |
0 |
&z->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
z |
4096-ptr_max |
| PARAM_VALUE |
1 |
w |
0 |
| BUF_SIZE |
0 |
z |
(-1)-0,81920 |
| BUF_SIZE |
0 |
z |
(-1)-0,81920 |
| CAPPED_DATA |
0 |
z |
1 |
| DATA_SOURCE |
0 |
z |
$0 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
&m->lock |
|
| HALF_LOCKED2 |
0 |
&z->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
z |
4096-ptr_max |
| PARAM_VALUE |
1 |
w |
3 |
| BUF_SIZE |
0 |
z |
(-1),81920 |
| BUF_SIZE |
0 |
z |
(-1),81920 |
| CAPPED_DATA |
0 |
z |
1 |
| DATA_SOURCE |
0 |
z |
$0 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| LOCK2 |
|
&m->lock |
|
| HALF_LOCKED2 |
|
flags |
|
| HALF_LOCKED2 |
0 |
&z->lock |
|
| TYPE_LOCK |
|
(struct seq_file)->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
z |
4096-ptr_max |
| PARAM_VALUE |
1 |
w |
0-3 |
| DATA_SOURCE |
0 |
z |
$0 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
w |
2 |
| DATA_SOURCE |
0 |
z |
$0 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
z |
4096-ptr_max |
| PARAM_VALUE |
1 |
w |
1 |
| BUF_SIZE |
0 |
z |
(-1),81920 |
| BUF_SIZE |
0 |
z |
(-1),81920 |
| DATA_SOURCE |
0 |
z |
$0 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
z |
4096-ptr_max |
| PARAM_VALUE |
1 |
w |
0 |
| BUF_SIZE |
0 |
z |
(-1),81920 |
| BUF_SIZE |
0 |
z |
(-1),81920 |
| DATA_SOURCE |
0 |
z |
$0 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
z |
4096-ptr_max |
| PARAM_VALUE |
1 |
w |
0-3 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
&bo->mutex |
|
| HALF_LOCKED2 |
|
&gbuf_resize_mutex |
|
| HALF_LOCKED2 |
|
&inode->i_rwsem |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
z |
4096-ptr_max |
| PARAM_VALUE |
1 |
w |
0-3 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
global &oom_lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
z |
4096-ptr_max |
| PARAM_VALUE |
1 |
w |
2 |
| BUF_SIZE |
0 |
z |
(-1)-0,81920 |
| BUF_SIZE |
0 |
z |
(-1)-0,81920 |
| CAPPED_DATA |
0 |
z |
1 |
| DATA_SOURCE |
0 |
z |
$0 |
| PREEMPT_ADD |
|
|
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
&lock |
|
| HALF_LOCKED2 |
|
flags |
|
| HALF_LOCKED2 |
0 |
&z->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
z |
4096-ptr_max |
| PARAM_VALUE |
1 |
w |
1 |
| BUF_SIZE |
0 |
z |
(-1)-0,32768,49152,81920 |
| BUF_SIZE |
0 |
z |
(-1)-0,32768,49152,81920 |
| BUF_SIZE |
0 |
z->per_cpu_pageset |
(-1),384 |
| BUF_SIZE |
0 |
z->per_cpu_zonestats |
(-1),64 |
| DATA_SOURCE |
0 |
z |
$0 |
| PREEMPT_ADD |
|
|
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
&lock |
|
| HALF_LOCKED2 |
|
flags |
|
| HALF_LOCKED2 |
0 |
&z->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
z |
1-u64max |
| PARAM_VALUE |
1 |
w |
0 |
| BUF_SIZE |
0 |
z |
(-1)-0,81920 |
| BUF_SIZE |
0 |
z |
(-1)-0,81920 |
| DATA_SOURCE |
0 |
z |
$0 |
| PREEMPT_ADD |
|
|
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
&lock |
|
| HALF_LOCKED2 |
|
flags |
|
| HALF_LOCKED2 |
0 |
&z->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
z |
4096-ptr_max |
| PARAM_VALUE |
1 |
w |
3 |
| CAPPED_DATA |
0 |
z |
1 |
| DATA_SOURCE |
0 |
z |
$0 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
z |
4096-ptr_max |
| PARAM_VALUE |
1 |
w |
2 |
| BUF_SIZE |
0 |
z |
(-1),81920 |
| BUF_SIZE |
0 |
z |
(-1),81920 |
| DATA_SOURCE |
0 |
z |
$0 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
z |
1-u64max |
| PARAM_VALUE |
1 |
w |
0 |
| BUF_SIZE |
0 |
z |
(-1),81920 |
| BUF_SIZE |
0 |
z |
(-1),81920 |
| DATA_SOURCE |
0 |
z |
$0 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
z |
4096-ptr_max |
| PARAM_VALUE |
1 |
w |
3 |
| BUF_SIZE |
0 |
z |
(-1),81920 |
| BUF_SIZE |
0 |
z |
(-1),81920 |
| DATA_SOURCE |
0 |
z |
$0 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
z |
4096-ptr_max |
| PARAM_VALUE |
1 |
w |
2-3 |
| FUZZY_MAX |
1 |
w |
3 |
| BIT_INFO |
1 |
w |
0x2,0x3 |
| HARD_MAX |
1 |
w |
3 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
rcu_read |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
z |
4096-ptr_max |
| PARAM_VALUE |
1 |
w |
3 |
| DATA_SOURCE |
0 |
z |
$0 |
| PREEMPT_ADD |
|
|
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| LOCK2 |
|
vmf->ptl |
|
| HALF_LOCKED2 |
|
&mm->mmap_lock |
|
| HALF_LOCKED2 |
|
rcu_read |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
z |
4096-ptr_max |
| PARAM_VALUE |
1 |
w |
2 |
| DATA_SOURCE |
0 |
z |
$0 |
| PREEMPT_ADD |
|
|
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| LOCK2 |
|
vmf->ptl |
|
| HALF_LOCKED2 |
|
&mm->mmap_lock |
|
| HALF_LOCKED2 |
|
rcu_read |
|