Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/sysctl.c do_proc_vec() -> proc_get_long()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | buf | 6330135335598174208 |
| PARAM_VALUE | 0 | *buf | 4096-u64max |
| PARAM_VALUE | 1 | size | 5314014211877720064 |
| PARAM_VALUE | 1 | *size | 1-u64max |
| PARAM_VALUE | 2 | val | 7073900365743214592 |
| PARAM_VALUE | 3 | neg | 6662624036822261760 |
| PARAM_VALUE | 3 | *neg | 0 |
| PARAM_VALUE | 4 | perm_tr | 8518880803239579648 |
| PARAM_VALUE | 5 | perm_tr_len | 3 |
| PARAM_VALUE | 6 | tr | 0 |
| BUF_SIZE | 4 | perm_tr | 3 |
| NOSPEC | 1 | *size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | *size | 1-4194303,18446744073709551597-u64max |
| UNITS | 5 | perm_tr_len | unit_byte |
| USER_PTR | 1 | size |
kernel/sysctl.c proc_do_large_bitmap() -> proc_get_long()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | buf | 8820550543257403392 |
| PARAM_VALUE | 0 | *buf | 4096-u64max |
| PARAM_VALUE | 1 | size | 1412058177482788864 |
| PARAM_VALUE | 1 | *size | 1-4095 |
| PARAM_VALUE | 2 | val | 6400878032503705600 |
| PARAM_VALUE | 3 | neg | 2481420447409143808 |
| PARAM_VALUE | 4 | perm_tr | 4096-ptr_max |
| PARAM_VALUE | 5 | perm_tr_len | 3 |
| PARAM_VALUE | 6 | tr | 4702687359263997952 |
| BUF_SIZE | 4 | perm_tr | 3 |
| NOSPEC | 1 | *size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | *size | 1-4095 |
| UNITS | 5 | perm_tr_len | unit_byte |
| USER_PTR | 1 | size | |
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | global &watchdog_mutex |
kernel/sysctl.c proc_do_large_bitmap() -> proc_get_long()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | buf | 8820550543257403392 |
| PARAM_VALUE | 0 | *buf | 4096-u64max |
| PARAM_VALUE | 1 | size | 1412058177482788864 |
| PARAM_VALUE | 2 | val | 5435300751157194752 |
| PARAM_VALUE | 2 | *val | 0-18446744073709551614 |
| PARAM_VALUE | 3 | neg | 2481420447409143808 |
| PARAM_VALUE | 3 | *neg | 0 |
| PARAM_VALUE | 4 | perm_tr | 4096-ptr_max |
| PARAM_VALUE | 5 | perm_tr_len | 3 |
| PARAM_VALUE | 6 | tr | 4702687359263997952 |
| PARAM_VALUE | 6 | *tr | 45 |
| BUF_SIZE | 4 | perm_tr | 3 |
| NOSPEC | 1 | *size | |
| TERMINATED | 4 | perm_tr | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | *size | 1-4095 |
| UNITS | 5 | perm_tr_len | unit_byte |
| USER_PTR | 1 | size | |
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | global &watchdog_mutex |