Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/trace/rv/monitors/nomiss/nomiss.c handle_dl_replenish() -> get_entity_id()

Type Parameter Key Value
PARAM_VALUE 0 dl_se 4096-ptr_max
PARAM_VALUE 0 dl_se->dl_deadline 20000
PARAM_VALUE 0 dl_se->runtime 10000
PARAM_VALUE 1 cpu 0
PARAM_VALUE 2 type 1
DATA_SOURCE 0 dl_se $1
DATA_SOURCE 1 cpu $2
DATA_SOURCE 2 type $3

kernel/trace/rv/monitors/nomiss/nomiss.c handle_dl_server_stop() -> get_entity_id()

Type Parameter Key Value
PARAM_VALUE 2 type 1-3
DATA_SOURCE 0 dl_se $1
DATA_SOURCE 1 cpu $2
DATA_SOURCE 2 type $3

kernel/trace/rv/monitors/nomiss/nomiss.c handle_dl_throttle() -> get_entity_id()

Type Parameter Key Value
PARAM_VALUE 2 type 1-3
DATA_SOURCE 0 dl_se $1
DATA_SOURCE 1 cpu $2
DATA_SOURCE 2 type $3

kernel/trace/rv/monitors/nomiss/nomiss.c handle_exit() -> get_entity_id()

Type Parameter Key Value
PARAM_VALUE 0 dl_se 4096-ptr_max
PARAM_VALUE 1 cpu 1
PARAM_VALUE 2 type 1

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

Type Parameter Key Value
PARAM_VALUE 0 dl_se 4096-ptr_max
PARAM_VALUE 0 dl_se->dl_deadline 20000
PARAM_VALUE 0 dl_se->runtime 10000
PARAM_VALUE 2 type 1

kernel/trace/rv/monitors/nomiss/nomiss.c handle_sched_switch() -> get_entity_id()

Type Parameter Key Value
PARAM_VALUE 0 dl_se 4096-ptr_max
PARAM_VALUE 2 type 1

kernel/trace/rv/monitors/nomiss/nomiss.c handle_sched_switch() -> get_entity_id()

Type Parameter Key Value
PARAM_VALUE 0 dl_se 4096-ptr_max
PARAM_VALUE 2 type 1

kernel/trace/rv/monitors/nomiss/nomiss.c handle_sched_switch() -> get_entity_id()

Type Parameter Key Value
PARAM_VALUE 0 dl_se 1-u64max
PARAM_VALUE 2 type 0,2
DATA_SOURCE 1 cpu r task_cpu

kernel/trace/rv/monitors/nomiss/nomiss.c handle_sched_wakeup() -> get_entity_id()

Type Parameter Key Value
PARAM_VALUE 0 dl_se 4096-ptr_max
PARAM_VALUE 2 type 1

kernel/trace/rv/monitors/nomiss/nomiss.c handle_server_switch() -> get_entity_id()

Type Parameter Key Value
PARAM_VALUE 0 dl_se 1-u64max
PARAM_VALUE 2 type 2
DATA_SOURCE 0 dl_se r get_server
DATA_SOURCE 1 cpu $1
DATA_SOURCE 2 type $2

kernel/trace/rv/monitors/nomiss/nomiss.c handle_sys_enter() -> get_entity_id()

Type Parameter Key Value
PARAM_VALUE 0 dl_se 4096-ptr_max
PARAM_VALUE 2 type 1
LOCK2 rcu_read

kernel/trace/rv/monitors/nomiss/nomiss.c handle_sys_enter() -> get_entity_id()

Type Parameter Key Value
PARAM_VALUE 0 dl_se 4096-ptr_max
PARAM_VALUE 2 type 1
LOCK2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 dl_se 4096-ptr_max
PARAM_VALUE 2 type 1
LOCK2 _T->lock
LOCK2 global &tasklist_lock