Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/char/hw_random/cctrng.c cc_trng_compwork_handler() -> cc_trng_enable_rnd_source()

Type Parameter Key Value
PARAM_VALUE 0 drvdata 4096-ptr_max
PARAM_VALUE 0 drvdata->cc_base 4096-ptr_max
PARAM_VALUE 0 drvdata->circ.buf 4096-ptr_max
PARAM_VALUE 0 drvdata->circ.head 0-31
PARAM_VALUE 0 drvdata->pending_hw.counter 0-s32max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/char/hw_random/cctrng.c cc_trng_hw_trigger() -> cc_trng_enable_rnd_source()

Type Parameter Key Value
PARAM_VALUE 0 drvdata 4096-ptr_max
PARAM_VALUE 0 drvdata->active_rosc 0-3
PARAM_VALUE 0 drvdata->cc_base 4096-ptr_max
PARAM_VALUE 0 drvdata->clk 0,4096-u64max
PARAM_VALUE 0 drvdata->smpl_ratio 4096-ptr_max
PARAM_VALUE 0 *drvdata->smpl_ratio 0-4294967295
BUF_SIZE 0 drvdata (-1),792
BUF_SIZE 0 drvdata (-1),792
BUF_SIZE 0 drvdata->clk (-1),1-s32max
BUF_SIZE 0 drvdata->rng.name (-1),1-1010102
DATA_SOURCE 0 drvdata $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 drvdata->rng->priv 0-u64max