Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/ipv4/fou_core.c gue_err() -> validate_gue_flags()

Type Parameter Key Value
PARAM_VALUE 0 guehdr 4096-ptr_max
PARAM_VALUE 1 optlen 0,4-124
BIT_INFO 1 optlen 0x0,0x1c
BIT_INFO 1 optlen 0x0,0x1c
UNITS 1 optlen unit_byte

net/ipv4/fou_core.c gue_gro_receive() -> validate_gue_flags()

Type Parameter Key Value
PARAM_VALUE 0 guehdr 4096-ptr_max
PARAM_VALUE 0 guehdr->control 0
PARAM_VALUE 0 guehdr->version 0
PARAM_VALUE 1 optlen 0,4-124
BIT_INFO 1 optlen 0x0,0x1c
BIT_INFO 1 optlen 0x0,0x1c
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

net/ipv4/fou_core.c gue_udp_recv() -> validate_gue_flags()

Type Parameter Key Value
PARAM_VALUE 0 guehdr 4096-ptr_max
PARAM_VALUE 1 optlen 0,4-124
BIT_INFO 1 optlen 0x0,0x1c
BIT_INFO 1 optlen 0x0,0x1c
RX_PATH
TASK_NOT_RUNNING

net/ipv6/fou6.c gue6_err() -> validate_gue_flags()

Type Parameter Key Value
PARAM_VALUE 0 guehdr 4096-ptr_max
PARAM_VALUE 1 optlen 0,4-124
BIT_INFO 1 optlen 0x0,0x1c
BIT_INFO 1 optlen 0x0,0x1c
UNITS 1 optlen unit_byte