Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/trace/ring_buffer.c __rb_get_reader_page() -> rb_page_write()

Type Parameter Key Value
PARAM_VALUE 0 bpage 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &cpu_buffer->mapping_lock
HALF_LOCKED2 &cpu_buffer->reader_lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

kernel/trace/ring_buffer.c rb_set_commit_to_write() -> rb_page_write()

Type Parameter Key Value
PARAM_VALUE 0 bpage 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

kernel/trace/ring_buffer.c rb_set_commit_to_write() -> rb_page_write()

Type Parameter Key Value
PARAM_VALUE 0 bpage 4096-ptr_max
CAPPED_DATA 0 bpage 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

kernel/trace/ring_buffer.c rb_set_commit_to_write() -> rb_page_write()

Type Parameter Key Value
PARAM_VALUE 0 bpage 4096-ptr_max
CAPPED_DATA 0 bpage 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

kernel/trace/ring_buffer.c rb_set_commit_to_write() -> rb_page_write()

Type Parameter Key Value
PARAM_VALUE 0 bpage 4096-ptr_max
CAPPED_DATA 0 bpage 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

kernel/trace/ring_buffer.c rb_try_to_discard() -> rb_page_write()

Type Parameter Key Value
PARAM_VALUE 0 bpage 4096-ptr_max
CAPPED_DATA 0 bpage->page 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING