Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/char/hw_random/core.c hwrng_fillfn() -> put_rng()

Type Parameter Key Value
PARAM_VALUE 0 rng 4096-ptr_max
DATA_SOURCE 0 rng r get_current_rng
NOCHECK_CALL

drivers/char/hw_random/core.c rng_current_show() -> put_rng()

Type Parameter Key Value
PARAM_VALUE 0 rng 0,4096-ptr_max
DATA_SOURCE 0 rng r get_current_rng
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/char/hw_random/core.c rng_current_store() -> put_rng()

Type Parameter Key Value
PARAM_VALUE 0 rng 4096-ptr_max
DATA_SOURCE 0 rng r get_current_rng_nolock
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/char/hw_random/core.c rng_dev_read() -> put_rng()

Type Parameter Key Value
PARAM_VALUE 0 rng 4096-ptr_max
DATA_SOURCE 0 rng r get_current_rng
NOCHECK_CALL

drivers/char/hw_random/core.c rng_dev_read() -> put_rng()

Type Parameter Key Value
PARAM_VALUE 0 rng 4096-ptr_max
DATA_SOURCE 0 rng r get_current_rng
NOCHECK_CALL

drivers/char/hw_random/core.c rng_quality_show() -> put_rng()

Type Parameter Key Value
PARAM_VALUE 0 rng 4096-ptr_max
DATA_SOURCE 0 rng r get_current_rng
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex