get_random_bytes_user identifier - Linux source code next-20260811 - Bootlin Elixir Cross Referencer

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/char/random.c, line 431 (as a function)

Referenced in 1 files:

drivers/char/random.c

Smatch caller information:

drivers/char/random.c __do_sys_getrandom() -> get_random_bytes_user()

Type	Parameter	Key	Value
PARAM_VALUE	0	iter	8311592135892418560

drivers/char/random.c __do_sys_getrandom() -> get_random_bytes_user()

Type	Parameter	Key	Value
PARAM_VALUE	0	iter	8311592135892418560

drivers/char/random.c random_read_iter() -> get_random_bytes_user()

Type	Parameter	Key	Value
DATA_SOURCE	0	iter	$1
NOSPEC	0	iter->count
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	iter->count	1-1000000000
USER_DATA	0	iter->iov_offset	0-u64max[c]
HALF_LOCKED2		&pool->lock

drivers/char/random.c urandom_read_iter() -> get_random_bytes_user()

Type	Parameter	Key	Value
DATA_SOURCE	0	iter	$1
NOSPEC	0	iter->count
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	iter->count	1-1000000000
USER_DATA	0	iter->iov_offset	0-u64max[c]
HALF_LOCKED2		&pool->lock