Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/trace/ring_buffer.c rb_meta_validate_events() -> rb_meta_inject_reader_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cpu_buffer | 4096-ptr_max |
| PARAM_VALUE | 0 | cpu_buffer->head_page | 4096-ptr_max |
| PARAM_VALUE | 0 | cpu_buffer->pages | 4821940379118743552 |
| PARAM_VALUE | 0 | cpu_buffer->reader_page | 4096-ptr_max |
| PARAM_VALUE | 0 | cpu_buffer->reader_page->list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | cpu_buffer->reader_page->list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | meta | 4096-ptr_max |
| PARAM_VALUE | 1 | meta->head_buffer | 1-u64max |
| PARAM_VALUE | 2 | orig_head | 4096-ptr_max |
| PARAM_VALUE | 3 | head_page | 0,4-u64max |
| BUF_SIZE | 0 | cpu_buffer | 0-3047 |
| BUF_SIZE | 0 | cpu_buffer | 0-3047 |
| BUF_SIZE | 0 | cpu_buffer->buffer | (-1)-s32max |
| BUF_SIZE | 0 | cpu_buffer->reader_page | 0-2103 |
| BUF_SIZE | 0 | cpu_buffer->subbuf_ids | (-1),8 |
| CAPPED_DATA | 2 | orig_head | 1 |
| DATA_SOURCE | 0 | cpu_buffer | $0 |
| PARAM_COMPARE | 3 | head_page | != $2 |
| BIT_INFO | 0 | cpu_buffer->lock | 0x0,0x7fffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |