Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/char/random.c add_bootloader_randomness() -> mix_pool_bytes()

Type Parameter Key Value
DATA_SOURCE 0 buf $0
DATA_SOURCE 1 len $1
NOCHECK_CALL
UNITS 1 len unit_byte
HALF_LOCKED2 irq

drivers/char/random.c add_hwgenerator_randomness() -> mix_pool_bytes()

Type Parameter Key Value
PARAM_VALUE 0 buf 0,4096-ptr_max
PARAM_VALUE 1 len 1-s32max
CAPPED_DATA 1 len 1
CAPPED_DATA 1 len 1
DATA_SOURCE 0 buf $0
DATA_SOURCE 1 len $1
NOCHECK_CALL

drivers/char/random.c entropy_timer() -> mix_pool_bytes()

Type Parameter Key Value
PARAM_VALUE 0 buf 6607394655566704640
PARAM_VALUE 1 len 8
BUF_SIZE 0 buf 8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 len unit_byte

drivers/char/random.c mix_interrupt_randomness() -> mix_pool_bytes()

Type Parameter Key Value
PARAM_VALUE 0 buf 7698591359494234112
PARAM_VALUE 1 len 16
BUF_SIZE 0 buf 16
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 len unit_byte

drivers/char/random.c try_to_generate_entropy() -> mix_pool_bytes()

Type Parameter Key Value
PARAM_VALUE 0 buf 7385702182021050368
PARAM_VALUE 1 len 8
BUF_SIZE 0 buf 8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 len unit_byte
HALF_LOCKED2 &pool->lock

drivers/char/random.c try_to_generate_entropy() -> mix_pool_bytes()

Type Parameter Key Value
PARAM_VALUE 0 buf 7385702182021050368
PARAM_VALUE 1 len 8
BUF_SIZE 0 buf 8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 len unit_byte
HALF_LOCKED2 &pool->lock

drivers/char/random.c write_pool_user() -> mix_pool_bytes()

Type Parameter Key Value
PARAM_VALUE 0 buf 1764526089668345856
BUF_SIZE 0 buf 64
DATA_SOURCE 1 len r copy_from_iter
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 len 0-u64max
UNITS 1 len unit_byte