Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/trace/rv/monitors/nomiss/nomiss.c da_create_or_get() -> da_create_storage()

Type Parameter Key Value
PARAM_VALUE 1 target 4096-ptr_max
PARAM_VALUE 1 target->dl_server 0
BUF_SIZE 2 da_mon (-1),8
DATA_SOURCE 0 id $0
DATA_SOURCE 1 target $1
NOCHECK_CALL
LOCK2 rcu_read

kernel/trace/rv/monitors/nomiss/nomiss.c handle_newtask() -> da_create_storage()

Type Parameter Key Value
PARAM_VALUE 1 target 4096-ptr_max
PARAM_VALUE 1 target->dl_deadline 20000
PARAM_VALUE 1 target->dl_server 0
PARAM_VALUE 1 target->runtime 10000
PARAM_VALUE 2 da_mon 0
NOCHECK_CALL

kernel/trace/rv/monitors/nomiss/nomiss.c init_storage() -> da_create_storage()

Type Parameter Key Value
PARAM_VALUE 1 target 4096-ptr_max
PARAM_VALUE 1 target->dl_server 0
PARAM_VALUE 2 da_mon 0
LOCK2 _T->lock
LOCK2 global &tasklist_lock