Defined in 1 files as a label:

Defined in 4 files as a function:

Referenced in 11 files:

Smatch caller information:

lib/crypto/curve25519.c curve25519_ever64_base() -> fsub()

Type Parameter Key Value
PARAM_VALUE 0 out 3154786544978518176
PARAM_VALUE 1 f1 3154786544978518016
PARAM_VALUE 2 f2 3154786544978518048
BUF_SIZE 0 out 256
BUF_SIZE 0 out 256
BUF_SIZE 1 f1 416
BUF_SIZE 1 f1 416
BUF_SIZE 2 f2 384
BUF_SIZE 2 f2 384
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &handshake->lock
HALF_LOCKED2 &handshake->static_identity->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &wg->device_update_lock
HALF_LOCKED2 &wg->static_identity.lock
HALF_LOCKED2 global &rtnl_mutex

lib/crypto/curve25519.c curve25519_ever64_base() -> fsub()

Type Parameter Key Value
PARAM_VALUE 0 out 3154786544978518176
PARAM_VALUE 1 f1 3154786544978518144
PARAM_VALUE 2 f2 3154786544978518208
BUF_SIZE 0 out 256
BUF_SIZE 0 out 256
BUF_SIZE 1 f1 288
BUF_SIZE 1 f1 288
BUF_SIZE 2 f2 224
BUF_SIZE 2 f2 224
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &handshake->lock
HALF_LOCKED2 &handshake->static_identity->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &wg->device_update_lock
HALF_LOCKED2 &wg->static_identity.lock
HALF_LOCKED2 global &rtnl_mutex

lib/crypto/curve25519.c point_add_and_double() -> fsub()

Type Parameter Key Value
PARAM_VALUE 0 out 4096-ptr_max
PARAM_VALUE 1 f1 4096-ptr_max
BUF_SIZE 0 out 104
BUF_SIZE 0 out 104
BUF_SIZE 1 f1 264
BUF_SIZE 1 f1 264
BUF_SIZE 2 f2 232
BUF_SIZE 2 f2 232
DATA_SOURCE 1 f1 $1
BIT_INFO 1 f1 0xaa96843d77f1000,0xffffffffffffffff
BIT_INFO 1 f1 0xaa96843d77f1000,0xffffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &peer->handshake.lock
HALF_LOCKED2 &wg->device_update_lock
HALF_LOCKED2 global &rtnl_mutex

lib/crypto/curve25519.c point_add_and_double() -> fsub()

Type Parameter Key Value
PARAM_VALUE 0 out 4096-ptr_max
PARAM_VALUE 2 f2 4096-ptr_max
BUF_SIZE 0 out 72
BUF_SIZE 0 out 72
BUF_SIZE 1 f1 200
BUF_SIZE 1 f1 200
BUF_SIZE 2 f2 168
BUF_SIZE 2 f2 168
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &peer->handshake.lock
HALF_LOCKED2 &wg->device_update_lock
HALF_LOCKED2 global &rtnl_mutex

lib/crypto/curve25519.c point_add_and_double() -> fsub()

Type Parameter Key Value
PARAM_VALUE 0 out 4096-ptr_max
PARAM_VALUE 1 f1 4096-ptr_max
BUF_SIZE 0 out 168
BUF_SIZE 0 out 168
BUF_SIZE 1 f1 72
BUF_SIZE 1 f1 72
BUF_SIZE 2 f2 40
BUF_SIZE 2 f2 40
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &peer->handshake.lock
HALF_LOCKED2 &wg->device_update_lock
HALF_LOCKED2 global &rtnl_mutex

lib/crypto/curve25519.c point_add_and_double() -> fsub()

Type Parameter Key Value
PARAM_VALUE 0 out 4096-ptr_max
PARAM_VALUE 1 f1 4096-ptr_max
PARAM_VALUE 2 f2 4096-ptr_max
BUF_SIZE 0 out 40
BUF_SIZE 0 out 40
BUF_SIZE 1 f1 72
BUF_SIZE 1 f1 72
BUF_SIZE 2 f2 40
BUF_SIZE 2 f2 40
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &peer->handshake.lock
HALF_LOCKED2 &wg->device_update_lock
HALF_LOCKED2 global &rtnl_mutex

lib/crypto/curve25519.c point_double() -> fsub()

Type Parameter Key Value
PARAM_VALUE 0 out 4096-ptr_max
PARAM_VALUE 1 f1 4096-ptr_max
BUF_SIZE 1 f1 264,416
BUF_SIZE 1 f1 264,416
DATA_SOURCE 1 f1 $0
BIT_INFO 1 f1 0xa880801d3200000,0xffffffffffffffff
BIT_INFO 1 f1 0xa880801d3200000,0xffffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &wg->device_update_lock
HALF_LOCKED2 global &rtnl_mutex

lib/crypto/curve25519.c point_double() -> fsub()

Type Parameter Key Value
PARAM_VALUE 0 out 4096-ptr_max
PARAM_VALUE 1 f1 4096-ptr_max
PARAM_VALUE 2 f2 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &wg->device_update_lock
HALF_LOCKED2 global &rtnl_mutex