Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv6/calipso.c calipso_genopt() -> calipso_pad_write()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 1 offset 0,2
PARAM_VALUE 2 count 0-255
BUF_SIZE 0 buf 260,266
BUF_SIZE 0 buf 260,266
DATA_SOURCE 0 buf $0
DATA_SOURCE 1 offset $1
HARD_MAX 1 offset 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 offset unit_byte
UNITS 2 count unit_byte
HALF_LOCKED2 rcu_read

net/ipv6/calipso.c calipso_opt_del() -> calipso_pad_write()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 2 count 0-7
BUF_SIZE 0 buf 0,8-4294967288
DATA_SOURCE 0 buf r _kzalloc_noprof
NOCHECK_CALL
UNITS 1 offset unit_byte

net/ipv6/calipso.c calipso_opt_insert() -> calipso_pad_write()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 0 *buf 0-5
PARAM_VALUE 1 offset 12-268435723
PARAM_VALUE 2 count 0,4
BUF_SIZE 0 buf 266
BUF_SIZE 0 buf 266
CAPPED_DATA 1 offset 1
DATA_SOURCE 0 buf r _kzalloc_noprof
NOCHECK_CALL
UNITS 1 offset unit_byte
HALF_LOCKED2 rcu_read

net/ipv6/calipso.c calipso_skbuff_delattr() -> calipso_pad_write()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 2 count 0-7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 offset unit_byte
UNITS 2 count unit_byte
HALF_LOCKED2 rcu_read

net/ipv6/calipso.c calipso_skbuff_setattr() -> calipso_pad_write()

Type Parameter Key Value
PARAM_VALUE 1 offset 10-268435721
PARAM_VALUE 2 count 0,4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 offset unit_byte
HALF_LOCKED2 rcu_read