Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/printk/printk_ringbuffer.c data_alloc() -> get_next_lpos()

Type Parameter Key Value
PARAM_VALUE 0 data_ring 4096-ptr_max
PARAM_VALUE 2 size 0,16-65544
BUF_SIZE 0 data_ring 32
DATA_SOURCE 2 size r to_blk_size
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 2 size unit_byte
LOCK2 e->irqflags
HALF_LOCKED2 irqflags

kernel/printk/printk_ringbuffer.c data_realloc() -> get_next_lpos()

Type Parameter Key Value
PARAM_VALUE 0 data_ring 4096-ptr_max
PARAM_VALUE 1 lpos 3,8-u64max
PARAM_VALUE 2 size 0,8-1032
BUF_SIZE 0 data_ring 32
DATA_SOURCE 2 size r to_blk_size
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 1 lpos unit_byte
UNITS 2 size unit_byte
LOCK2 e->irqflags
LOCK2 irqflags