Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/printk/printk_ringbuffer.c data_make_reusable() -> need_more_space()

Type Parameter Key Value
PARAM_VALUE 0 data_ring 4096-ptr_max
PARAM_VALUE 0 data_ring->size_bits 0-31
BUF_SIZE 0 data_ring 32
DATA_SOURCE 1 lpos_current $1 [m]
DATA_SOURCE 2 lpos_target $2
BIT_INFO 2 lpos_target 0x0,0xfffffffffffffffe
BIT_INFO 2 lpos_target 0x0,0xfffffffffffffffe
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 1 lpos_current unit_byte
UNITS 2 lpos_target unit_byte
LOCK2 e->irqflags
HALF_LOCKED2 irqflags

kernel/printk/printk_ringbuffer.c data_make_reusable() -> need_more_space()

Type Parameter Key Value
PARAM_VALUE 0 data_ring 4096-ptr_max
PARAM_VALUE 0 data_ring->size_bits 0-31
BUF_SIZE 0 data_ring 32
DATA_SOURCE 2 lpos_target $2
BIT_INFO 2 lpos_target 0x0,0xfffffffffffffffe
BIT_INFO 2 lpos_target 0x0,0xfffffffffffffffe
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 1 lpos_current unit_byte
UNITS 2 lpos_target unit_byte
LOCK2 e->irqflags
HALF_LOCKED2 irqflags

kernel/printk/printk_ringbuffer.c data_push_tail() -> need_more_space()

Type Parameter Key Value
PARAM_VALUE 0 data_ring 4096-ptr_max
BUF_SIZE 0 data_ring 32
DATA_SOURCE 2 lpos_target $1
BIT_INFO 2 lpos_target 0x0,0xfffffffffffffffe
BIT_INFO 2 lpos_target 0x0,0xfffffffffffffffe
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 2 lpos_target unit_byte
LOCK2 e->irqflags
HALF_LOCKED2 irqflags

kernel/printk/printk_ringbuffer.c data_push_tail() -> need_more_space()

Type Parameter Key Value
PARAM_VALUE 0 data_ring 4096-ptr_max
PARAM_VALUE 0 data_ring->size_bits 0-63
BUF_SIZE 0 data_ring 32
DATA_SOURCE 2 lpos_target $1
BIT_INFO 2 lpos_target 0x0,0xfffffffffffffffe
BIT_INFO 2 lpos_target 0x0,0xfffffffffffffffe
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 2 lpos_target unit_byte
LOCK2 e->irqflags
HALF_LOCKED2 irqflags

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

Type Parameter Key Value
PARAM_VALUE 0 data_ring 4096-ptr_max
PARAM_VALUE 1 lpos_current 0,3,8-u64max
BUF_SIZE 0 data_ring 32
CAPPED_DATA 1 lpos_current 1
CAPPED_DATA 1 lpos_current 1
DATA_SOURCE 2 lpos_target r get_next_lpos
BIT_INFO 1 lpos_current 0x0,0x7fffffffffffffff
BIT_INFO 1 lpos_current 0x0,0x7fffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 1 lpos_current unit_byte
LOCK2 e->irqflags
LOCK2 irqflags