Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/cipso_ipv4.c cipso_v4_req_setattr() -> cipso_v4_genopt()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 1 buf_len 40
PARAM_VALUE 3 secattr 4096-ptr_max
PARAM_VALUE 3 secattr->domain 0,4096-ptr_max
BUF_SIZE 0 buf 40
BUF_SIZE 0 buf 40
DATA_SOURCE 0 buf r _kmalloc_noprof
DATA_SOURCE 2 doi_def $1
DATA_SOURCE 3 secattr $2
BYTE_COUNT 0 ==buf1 8050
LOCK2 rcu_read

net/ipv4/cipso_ipv4.c cipso_v4_skbuff_setattr() -> cipso_v4_genopt()

Type Parameter Key Value
PARAM_VALUE 0 buf 7459233533301587968
PARAM_VALUE 1 buf_len 40
PARAM_VALUE 3 secattr 4096-ptr_max
PARAM_VALUE 3 secattr->domain 0,4096-ptr_max
BUF_SIZE 0 buf 40
BUF_SIZE 3 secattr (-1),48
BUF_SIZE 3 secattr (-1),48
DATA_SOURCE 2 doi_def $1
DATA_SOURCE 3 secattr $2
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read

net/ipv4/cipso_ipv4.c cipso_v4_sock_setattr() -> cipso_v4_genopt()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 1 buf_len 40
PARAM_VALUE 3 secattr 4096-ptr_max
PARAM_VALUE 3 secattr->domain 0,4096-ptr_max
BUF_SIZE 0 buf 40
BUF_SIZE 0 buf 40
BUF_SIZE 3 secattr (-1),48
BUF_SIZE 3 secattr (-1),48
DATA_SOURCE 0 buf r _kmalloc_noprof
DATA_SOURCE 2 doi_def $1
DATA_SOURCE 3 secattr $2
PREEMPT_ADD
BYTE_COUNT 0 ==buf1 8050
LOCK2 rcu_read