Defined in 3 files as a function:

Referenced in 4 files:

Smatch caller information:

kernel/power/snapshot.c snapshot_read_next() -> init_header()

Type Parameter Key Value
PARAM_VALUE 0 head 18379471554275704832,18446612682070032384
CAPPED_DATA 0 head 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &system_transition_mutex
HALF_LOCKED2 global &device_hotplug_lock

fs/proc/proc_sysctl.c __register_sysctl_table() -> init_header()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
PARAM_VALUE 2 set 4096-ptr_max
PARAM_VALUE 5 table_size 0-14,17,20-21,30,33,35,40,63,129
BUF_SIZE 0 head 88-4216
BUF_SIZE 0 head 88-4216
BUF_SIZE 4 table (-1),56,112,168,224,280,336,392,448,504,560,616,672,728,784,1120,1176,1680,1848,1960,2240,3528,7224
BUF_SIZE 4 table (-1),56,112,168,224,280,336,392,448,504,560,616,672,728,784,1120,1176,1680,1848,1960,2240,3528,7224
BUF_SIZE 4 table->data (-1),4
CAPPED_DATA 5 table_size 1
CAPPED_DATA 5 table_size 1
DATA_SOURCE 0 head r _kzalloc_noprof
DATA_SOURCE 2 set $0
DATA_SOURCE 4 table $2
DATA_SOURCE 5 table_size $3
FUZZY_MAX 5 table_size 21
STR_LEN 0 head (-1),2-11,13-15,17,19,21-22,27,30-31,33-34
STR_LEN 1 root (-1),9-27,29-30
STR_LEN 2 set (-1),2-11,13-15,17,19,21-22,27,30-31,33-34
STR_LEN 4 table (-1),9-27,29-30
PARAM_COMPARE 0 head < $3
PARAM_COMPARE 0 head < $3
PARAM_COMPARE 0 head == $3
PARAM_COMPARE 3 node > $0
BIT_INFO 5 table_size 0x0,0xbf
BIT_INFO 5 table_size 0x0,0xbf
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 5 table_size unit_array_size

fs/proc/proc_sysctl.c new_dir() -> init_header()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
PARAM_VALUE 2 set 4096-ptr_max
PARAM_VALUE 4 table 4096-ptr_max
PARAM_VALUE 5 table_size 1
DATA_SOURCE 2 set $0
PARAM_COMPARE 3 node < $4
PARAM_COMPARE 3 node < $4
PARAM_COMPARE 3 node == $4
PARAM_COMPARE 4 table > $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/proc/proc_sysctl.c new_links() -> init_header()

Type Parameter Key Value
PARAM_VALUE 0 head 16,4096-ptr_max
PARAM_VALUE 3 node 24,4096-ptr_max
PARAM_VALUE 4 table 4096-ptr_max
PARAM_VALUE 5 table_size 0-s32max,18446744071562067968-u64max
BUF_SIZE 0 head 0-u64max
CAPPED_DATA 5 table_size 1
DATA_SOURCE 0 head r _kzalloc_noprof
PARAM_COMPARE 0 head < $3
PARAM_COMPARE 0 head < $3
PARAM_COMPARE 0 head == $3
PARAM_COMPARE 3 node > $0
PARAM_COMPARE 4 table > $5
PARAM_COMPARE 5 table_size < $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 5 table_size unit_array_size

fs/proc/proc_sysctl.c setup_sysctl_set() -> init_header()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
PARAM_VALUE 1 root 834065930844975104,2540852192287182848,3250478992949153792,3418121456690503680,6296007065490898944
PARAM_VALUE 2 set 4096-ptr_max
PARAM_VALUE 3 node 0
PARAM_VALUE 4 table 6408103724190810112
PARAM_VALUE 5 table_size 1
DATA_SOURCE 1 root $1
DATA_SOURCE 2 set $0
MEM_ZERO 0 head
MEM_ZERO 2 set
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &pernet_ops_rwsem