Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/tls/tls_sw.c tls_advance_record_sn() -> tls_bigint_increment()

Type Parameter Key Value
BUF_SIZE 0 seq 8
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 sk

net/tls/tls_sw.c tls_advance_record_sn() -> tls_bigint_increment()

Type Parameter Key Value
PARAM_VALUE 0 seq 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 seq unit_byte
UNITS 1 len unit_byte
HALF_LOCKED2 sk

net/tls/tls_device.c tls_advance_record_sn() -> tls_bigint_increment()

Type Parameter Key Value
BUF_SIZE 0 seq 8
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk
HALF_LOCKED2 &tls_ctx->tx_lock

net/tls/tls_device.c tls_advance_record_sn() -> tls_bigint_increment()

Type Parameter Key Value
PARAM_VALUE 0 seq 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 len unit_byte
LOCK2 sk
HALF_LOCKED2 &tls_ctx->tx_lock

net/tls/tls_device.c tls_device_core_ctrl_rx_resync() -> tls_bigint_increment()

Type Parameter Key Value
PARAM_VALUE 0 seq 7147874128856780800
PARAM_VALUE 1 len 0-u16max
BUF_SIZE 0 seq 8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 sk

net/tls/tls_device.c tls_device_rx_resync_new_rec() -> tls_bigint_increment()

Type Parameter Key Value
PARAM_VALUE 0 seq 4045957454838456320
PARAM_VALUE 1 len 0-u16max
BUF_SIZE 0 seq 8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 sk