Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/char/random.c add_interrupt_randomness() -> fast_mix()

Type Parameter Key Value
BUF_SIZE 0 s 32
DATA_SOURCE 1 v1 r random_get_entropy
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/char/random.c add_timer_randomness() -> fast_mix()

Type Parameter Key Value
BUF_SIZE 0 s 32
DATA_SOURCE 1 v1 r random_get_entropy
DATA_SOURCE 2 v2 $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 v2 0-u32max
HALF_LOCKED2 &dev->event_lock
HALF_LOCKED2 irq