Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/char/random.c add_device_randomness() -> _mix_pool_bytes()

Type Parameter Key Value
PARAM_VALUE 0 buf 6095465905786126336
PARAM_VALUE 1 len 8
BUF_SIZE 0 buf 8
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 len unit_byte
LOCK2 flags
LOCK2 global &input_pool.lock
HALF_LOCKED2 &ch->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq

drivers/char/random.c add_device_randomness() -> _mix_pool_bytes()

Type Parameter Key Value
BUF_SIZE 0 buf (-1)-s32max
BUF_SIZE 0 buf (-1)-s32max
DATA_SOURCE 0 buf $0
DATA_SOURCE 1 len $1
STR_LEN 0 buf (-1)-1010101
STR_LEN 0 buf (-1)-1010101
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 *buf 0-255
USER_DATA 1 len 0-64[c]
UNITS 0 buf unit_byte
UNITS 1 len unit_byte
USER_PTR 0 buf
LOCK2 flags
LOCK2 global &input_pool.lock
HALF_LOCKED2 &ch->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq

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

Type Parameter Key Value
PARAM_VALUE 0 buf 6962440646427197440
PARAM_VALUE 1 len 8
BUF_SIZE 0 buf 8
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 len unit_byte
LOCK2 flags
LOCK2 global &input_pool.lock
HALF_LOCKED2 &dev->event_lock
HALF_LOCKED2 irq

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

Type Parameter Key Value
PARAM_VALUE 1 len 4
BUF_SIZE 0 buf 4
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 len unit_byte
LOCK2 flags
LOCK2 global &input_pool.lock
HALF_LOCKED2 &dev->event_lock
HALF_LOCKED2 irq

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

Type Parameter Key Value
BUF_SIZE 0 buf (-1),8,16,64
BUF_SIZE 0 buf (-1),8,16,64
DATA_SOURCE 0 buf $0
DATA_SOURCE 1 len $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 len 0-u64max
UNITS 1 len unit_byte
LOCK2 flags
LOCK2 global &input_pool.lock

drivers/char/random.c random_init() -> _mix_pool_bytes()

Type Parameter Key Value
PARAM_VALUE 0 buf 1312663571074535424
PARAM_VALUE 1 len 8
BUF_SIZE 0 buf 8
NOCHECK_CALL
UNITS 1 len unit_byte
LOCK2 irq

drivers/char/random.c random_init() -> _mix_pool_bytes()

Type Parameter Key Value
PARAM_VALUE 0 buf 8801996092183891968
PARAM_VALUE 1 len 8
BUF_SIZE 0 buf 8
NOCHECK_CALL
UNITS 1 len unit_byte
LOCK2 irq

drivers/char/random.c random_init_early() -> _mix_pool_bytes()

Type Parameter Key Value
PARAM_VALUE 0 buf 5933674474413178880
PARAM_VALUE 1 len 8
BUF_SIZE 0 buf 64
NOCHECK_CALL
LOCK2 irq

drivers/char/random.c random_init_early() -> _mix_pool_bytes()

Type Parameter Key Value
PARAM_VALUE 0 buf 5933674474413178880
PARAM_VALUE 1 len 8
BUF_SIZE 0 buf 64
NOCHECK_CALL
LOCK2 irq

drivers/char/random.c random_init_early() -> _mix_pool_bytes()

Type Parameter Key Value
PARAM_VALUE 0 buf 6625064446233792512
PARAM_VALUE 1 len 390
BUF_SIZE 0 buf 390
NOCHECK_CALL
UNITS 1 len unit_byte
LOCK2 irq

drivers/char/random.c random_init_early() -> _mix_pool_bytes()

Type Parameter Key Value
PARAM_VALUE 0 buf 286816159146409984
PARAM_VALUE 0 *buf 0-255
PARAM_VALUE 1 len 0-1010101
DATA_SOURCE 0 buf $0
STR_LEN 0 buf 0-1010101
NOCHECK_CALL
LOCK2 irq

drivers/char/random.c random_pm_notification() -> _mix_pool_bytes()

Type Parameter Key Value
PARAM_VALUE 1 len 8
BUF_SIZE 0 buf 8
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
UNITS 1 len unit_byte
LOCK2 flags
LOCK2 global &input_pool.lock

drivers/char/random.c random_pm_notification() -> _mix_pool_bytes()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 1 len 24
BUF_SIZE 0 buf 24
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
UNITS 1 len unit_byte
LOCK2 flags
LOCK2 global &input_pool.lock

drivers/char/random.c random_pm_notification() -> _mix_pool_bytes()

Type Parameter Key Value
PARAM_VALUE 0 buf 1118671158157815808
PARAM_VALUE 1 len 8
BUF_SIZE 0 buf 8
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
UNITS 1 len unit_byte
LOCK2 flags
LOCK2 global &input_pool.lock