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

Type	Parameter	Key	Value
NOCHECK_CALL
HALF_LOCKED2		irq

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

Type	Parameter	Key	Value
PARAM_VALUE	0	bits	0-2198989700096
DATA_SOURCE	0	bits	$2
NOCHECK_CALL

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

Type	Parameter	Key	Value
PARAM_VALUE	0	bits	0-11
CAPPED_DATA	0	bits	1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&dev->event_lock
HALF_LOCKED2		irq

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

Type	Parameter	Key	Value
PARAM_VALUE	0	bits	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type	Parameter	Key	Value
PARAM_VALUE	0	bits	1-128
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type	Parameter	Key	Value
NOCHECK_CALL
LOCK2		irq

drivers/char/random.c random_ioctl() -> _credit_init_bits()

Type	Parameter	Key	Value
PARAM_VALUE	0	bits	0-s32max
CAPABLE	0	21
NOCHECK_CALL
USER_DATA	0	bits	0-s32max

drivers/char/random.c random_ioctl() -> _credit_init_bits()

Type	Parameter	Key	Value
PARAM_VALUE	0	bits	0-s32max
CAPABLE	0	21
NOCHECK_CALL
USER_DATA	0	bits	0-s32max