Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/kprobes.c register_aggr_kprobe() -> alloc_aggr_kprobe()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->addr 1-3556549974045937663,6432617772963328000-ptr_max
PARAM_VALUE 0 p->pre_handler 0-1719354120402833407,1719354120402833409-u64max
CAPPED_DATA 0 p->addr 1
DATA_SOURCE 0 p $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock
LOCK2 global &jump_label_mutex
HALF_LOCKED2 global &fei_lock

kernel/kprobes.c try_to_optimize_kprobe() -> alloc_aggr_kprobe()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->addr 1-3556549974045937663,6432617772963328000-ptr_max
PARAM_VALUE 0 p->ainsn.boostable 0
PARAM_VALUE 0 p->flags 0,2,8,10,16,18,24,26
PARAM_VALUE 0 p->hlist.pprev 4096-ptr_max
PARAM_VALUE 0 p->list.next 4096-ptr_max
PARAM_VALUE 0 p->list.next->next 4096-ptr_max
PARAM_VALUE 0 p->list.prev 4096-ptr_max
PARAM_VALUE 0 p->list.prev->next 4096-ptr_max
PARAM_VALUE 0 p->list.prev->prev 4096-ptr_max
PARAM_VALUE 0 p->nmissed 0
PARAM_VALUE 0 p->symbol_name 0,4096-ptr_max
BUF_SIZE 0 p->symbol_name (-1),512
CAPPED_DATA 0 p 1
CAPPED_DATA 0 p->addr 1
DATA_SOURCE 0 p $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock
LOCK2 global &jump_label_mutex
HALF_LOCKED2 global &fei_lock