Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/trace/trace_events.c test_event_printk() -> test_double_dereference()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | call | 4096-ptr_max |
| PARAM_VALUE | 2 | call->class | 4096-ptr_max |
| PARAM_VALUE | 2 | call->class->fields_array->align | 0-2,4,8 |
| PARAM_VALUE | 2 | call->class->fields_array->filter_type | 0,5 |
| PARAM_VALUE | 2 | call->class->fields_array->len | 0-4,6,8-18,20-21,24,28,31-32,34,40,58,61,64,68,80,128,255-256 |
| PARAM_VALUE | 2 | call->class->fields_array->size | 0-2,4,6,8-10,12,15-16,18,20-21,24,28,31-32,34,36,40,48,52,56,58,61,64,68-69,80,128,152,168,194,255-256,280,328,480,512,560,772,1000,1024,1048,1232,1784,2040 |
| PARAM_VALUE | 2 | call->class->raw_init | 1-u64max |
| PARAM_VALUE | 2 | call->data | 4096-ptr_max |
| PARAM_VALUE | 2 | call->event.funcs | 4096-ptr_max |
| PARAM_VALUE | 2 | call->event.funcs->binary | 366248956480319488,1132500096532652032,3767241743495258112,5261868057571782656 |
| PARAM_VALUE | 2 | call->event.funcs->hex | 1094850396847636480,5261868057571782656,6422558193448333312,7465791468207640576 |
| PARAM_VALUE | 2 | call->event.funcs->raw | 1-u64max |
| PARAM_VALUE | 2 | call->event.funcs->trace | 1-u64max |
| PARAM_VALUE | 2 | call->event.node->pprev | 4096-ptr_max |
| PARAM_VALUE | 2 | call->event.node.pprev | 4096-ptr_max |
| PARAM_VALUE | 2 | call->event.type | s32min-(-1),1-s32max |
| PARAM_VALUE | 2 | call->print_fmt | 4096-ptr_max |
| BUF_SIZE | 2 | call->class | (-1),72 |
| BUF_SIZE | 2 | call->class->fields_array | (-1),80 |
| BUF_SIZE | 2 | call->data | (-1),448 |
| BUF_SIZE | 2 | call->event.funcs | (-1),32 |
| BUF_SIZE | 2 | call->tp | (-1),72 |
| CAPPED_DATA | 2 | call | 1 |
| DATA_SOURCE | 2 | call | $0 |
| RX_PATH | |||
| NOCHECK_CALL |
kernel/trace/trace_events.c test_event_printk() -> test_double_dereference()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | call | 4096-ptr_max |
| PARAM_VALUE | 2 | call->class | 4096-ptr_max |
| PARAM_VALUE | 2 | call->class->fields_array->align | 0-2,4,8 |
| PARAM_VALUE | 2 | call->class->fields_array->filter_type | 0,5 |
| PARAM_VALUE | 2 | call->class->fields_array->len | 0-4,6,8-18,20-21,24,28,31-32,34,40,58,61,64,68,80,128,255-256 |
| PARAM_VALUE | 2 | call->class->fields_array->size | 0-2,4,6,8-10,12,15-16,18,20-21,24,28,31-32,34,36,40,48,52,56,58,61,64,68-69,80,128,152,168,194,255-256,280,328,480,512,560,772,1000,1024,1048,1232,1784,2040 |
| PARAM_VALUE | 2 | call->class->raw_init | 1-u64max |
| PARAM_VALUE | 2 | call->data | 4096-ptr_max |
| PARAM_VALUE | 2 | call->event.funcs | 4096-ptr_max |
| PARAM_VALUE | 2 | call->event.funcs->binary | 366248956480319488,1132500096532652032,3767241743495258112,5261868057571782656 |
| PARAM_VALUE | 2 | call->event.funcs->hex | 1094850396847636480,5261868057571782656,6422558193448333312,7465791468207640576 |
| PARAM_VALUE | 2 | call->event.funcs->raw | 1-u64max |
| PARAM_VALUE | 2 | call->event.funcs->trace | 1-u64max |
| PARAM_VALUE | 2 | call->event.node->pprev | 4096-ptr_max |
| PARAM_VALUE | 2 | call->event.node.pprev | 4096-ptr_max |
| PARAM_VALUE | 2 | call->event.type | s32min-(-1),1-s32max |
| PARAM_VALUE | 2 | call->print_fmt | 16,4096-ptr_max |
| BUF_SIZE | 2 | call->class | (-1),72 |
| BUF_SIZE | 2 | call->class->fields_array | (-1),80 |
| BUF_SIZE | 2 | call->data | (-1),448 |
| BUF_SIZE | 2 | call->event.funcs | (-1),32 |
| BUF_SIZE | 2 | call->tp | (-1),72 |
| CAPPED_DATA | 2 | call | 1 |
| DATA_SOURCE | 2 | call | $0 |
| RX_PATH | |||
| NOCHECK_CALL |