Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

crypto/ecc.c ecc_point_double_jacobian() -> vli_rshift1()

Type Parameter Key Value
PARAM_VALUE 0 vli 4096-ptr_max
PARAM_VALUE 1 ndigits 1-255
BUF_SIZE 0 vli 8-s32max
BUF_SIZE 0 vli 8-s32max
CAPPED_DATA 1 ndigits 1
DATA_SOURCE 0 vli $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 ndigits unit_array_size

crypto/ecc.c ecc_point_double_jacobian() -> vli_rshift1()

Type Parameter Key Value
PARAM_VALUE 0 vli 4096-ptr_max
PARAM_VALUE 1 ndigits 1-255
BUF_SIZE 0 vli 8-s32max
BUF_SIZE 0 vli 8-s32max
DATA_SOURCE 0 vli $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 ndigits unit_array_size

crypto/ecc.c vli_mmod_slow() -> vli_rshift1()

Type Parameter Key Value
PARAM_VALUE 0 vli 5364934445475536896
PARAM_VALUE 1 ndigits 1-536870911
BUF_SIZE 0 vli 144
CAPPED_DATA 1 ndigits 1
DATA_SOURCE 1 ndigits $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 ndigits unit_array_size

crypto/ecc.c vli_mmod_slow() -> vli_rshift1()

Type Parameter Key Value
PARAM_VALUE 1 ndigits 1-536870911
CAPPED_DATA 1 ndigits 1
DATA_SOURCE 1 ndigits $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 ndigits unit_array_size

crypto/ecc.c vli_mod_inv() -> vli_rshift1()

Type Parameter Key Value
PARAM_VALUE 0 vli 2181897681604382720
PARAM_VALUE 1 ndigits 1-s32max
BUF_SIZE 0 vli 72
CAPPED_DATA 1 ndigits 1
DATA_SOURCE 1 ndigits $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 ndigits unit_array_size

crypto/ecc.c vli_mod_inv() -> vli_rshift1()

Type Parameter Key Value
PARAM_VALUE 0 vli 7393416940008321024
PARAM_VALUE 1 ndigits 1-s32max
BUF_SIZE 0 vli 72
CAPPED_DATA 1 ndigits 1
DATA_SOURCE 1 ndigits $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 ndigits unit_array_size

crypto/ecc.c vli_mod_inv() -> vli_rshift1()

Type Parameter Key Value
PARAM_VALUE 0 vli 4561837590826237952
PARAM_VALUE 1 ndigits 1-s32max
BUF_SIZE 0 vli 72
CAPPED_DATA 1 ndigits 1
DATA_SOURCE 1 ndigits $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 ndigits unit_array_size

crypto/ecc.c vli_mod_inv() -> vli_rshift1()

Type Parameter Key Value
PARAM_VALUE 0 vli 5637703361080786944
PARAM_VALUE 1 ndigits 1-s32max
BUF_SIZE 0 vli 72
CAPPED_DATA 1 ndigits 1
DATA_SOURCE 1 ndigits $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 ndigits unit_array_size

crypto/ecc.c vli_mod_inv() -> vli_rshift1()

Type Parameter Key Value
PARAM_VALUE 0 vli 2181897681604382720
PARAM_VALUE 1 ndigits 1-s32max
BUF_SIZE 0 vli 72
CAPPED_DATA 1 ndigits 1
DATA_SOURCE 1 ndigits $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 ndigits unit_array_size

crypto/ecc.c vli_mod_inv() -> vli_rshift1()

Type Parameter Key Value
PARAM_VALUE 0 vli 7393416940008321024
PARAM_VALUE 1 ndigits 1-s32max
BUF_SIZE 0 vli 72
CAPPED_DATA 1 ndigits 1
DATA_SOURCE 1 ndigits $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 ndigits unit_array_size

crypto/ecc.c vli_mod_inv() -> vli_rshift1()

Type Parameter Key Value
PARAM_VALUE 0 vli 4561837590826237952
PARAM_VALUE 1 ndigits 1-s32max
BUF_SIZE 0 vli 72
CAPPED_DATA 1 ndigits 1
DATA_SOURCE 1 ndigits $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 ndigits unit_array_size

crypto/ecc.c vli_mod_inv() -> vli_rshift1()

Type Parameter Key Value
PARAM_VALUE 0 vli 5637703361080786944
PARAM_VALUE 1 ndigits 1-s32max
BUF_SIZE 0 vli 72
CAPPED_DATA 1 ndigits 1
DATA_SOURCE 1 ndigits $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 ndigits unit_array_size