Open Menu /

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

net/ipv6/esp6.c esp6_input() -> esp_tmp_extra()

Type Parameter Key Value
PARAM_VALUE 0 tmp 16,4096-ptr_max
BUF_SIZE 0 tmp 0-s32max
BUF_SIZE 0 tmp 0-s32max
DATA_SOURCE 0 tmp r esp_alloc_tmp
RX_PATH
TASK_NOT_RUNNING

net/ipv6/esp6.c esp6_output_tail() -> esp_tmp_extra()

Type Parameter Key Value
PARAM_VALUE 0 tmp 16,4096-ptr_max
BUF_SIZE 0 tmp 0-s32max
BUF_SIZE 0 tmp 0-s32max
DATA_SOURCE 0 tmp r esp_alloc_tmp
RX_PATH
TASK_NOT_RUNNING

net/ipv6/esp6.c esp_output_restore_header() -> esp_tmp_extra()

Type Parameter Key Value
BUF_SIZE 0 tmp 1-s32max
BUF_SIZE 0 tmp 1-s32max
RX_PATH
TASK_NOT_RUNNING

net/ipv6/esp6.c esp_restore_header() -> esp_tmp_extra()

Type Parameter Key Value
BUF_SIZE 0 tmp 1-s32max
BUF_SIZE 0 tmp 1-s32max
RX_PATH
TASK_NOT_RUNNING

net/ipv4/esp4.c esp_input() -> esp_tmp_extra()

Type Parameter Key Value
PARAM_VALUE 0 tmp 16,4096-ptr_max
BUF_SIZE 0 tmp 0-s32max
BUF_SIZE 0 tmp 0-s32max
DATA_SOURCE 0 tmp r esp_alloc_tmp
RX_PATH
TASK_NOT_RUNNING

net/ipv4/esp4.c esp_output_restore_header() -> esp_tmp_extra()

Type Parameter Key Value
BUF_SIZE 0 tmp 1-s32max
BUF_SIZE 0 tmp 1-s32max
RX_PATH
TASK_NOT_RUNNING

net/ipv4/esp4.c esp_output_tail() -> esp_tmp_extra()

Type Parameter Key Value
PARAM_VALUE 0 tmp 16,4096-ptr_max
BUF_SIZE 0 tmp 0-s32max
BUF_SIZE 0 tmp 0-s32max
DATA_SOURCE 0 tmp r esp_alloc_tmp
RX_PATH
TASK_NOT_RUNNING

net/ipv4/esp4.c esp_restore_header() -> esp_tmp_extra()

Type Parameter Key Value
BUF_SIZE 0 tmp 1-s32max
BUF_SIZE 0 tmp 1-s32max
RX_PATH
TASK_NOT_RUNNING