circ_buf_space 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/hw_random/cctrng.c, line 202 (as a function)

Referenced in 1 files:

drivers/char/hw_random/cctrng.c

Smatch caller information:

drivers/char/hw_random/cctrng.c cc_trng_compwork_handler() -> circ_buf_space()

Type	Parameter	Key	Value
PARAM_VALUE	0	drvdata	4096-ptr_max
PARAM_VALUE	0	drvdata->circ.head	0-31
HALF_LOCKED2		&pool->lock

drivers/char/hw_random/cctrng.c cc_trng_compwork_handler() -> circ_buf_space()

Type	Parameter	Key	Value
PARAM_VALUE	0	drvdata	4096-ptr_max
HALF_LOCKED2		&pool->lock

drivers/char/hw_random/cctrng.c cctrng_read() -> circ_buf_space()

Type	Parameter	Key	Value
PARAM_VALUE	0	drvdata	4096-ptr_max
PARAM_VALUE	0	drvdata->circ.tail	0-31
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2		global &reading_mutex

drivers/char/hw_random/cctrng.c cctrng_read() -> circ_buf_space()

Type	Parameter	Key	Value
PARAM_VALUE	0	drvdata	4096-ptr_max
PARAM_VALUE	0	drvdata->circ.tail	0-31
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2		global &reading_mutex