Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/trace/rv/monitors/nomiss/nomiss.c __ha_monitor_timer_callback() -> ha_get_env_string()

Type Parameter Key Value
PARAM_VALUE 0 s 5562251798295445504
PARAM_VALUE 0 s->buffer 4096-ptr_max
PARAM_VALUE 0 s->len 0
PARAM_VALUE 0 s->size 64
PARAM_VALUE 1 ha_mon 4096-ptr_max
DATA_SOURCE 1 ha_mon $0
DATA_SOURCE 2 time_ns r ktime_get_ns
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read

kernel/trace/rv/monitors/nomiss/nomiss.c ha_monitor_handle_constraint() -> ha_get_env_string()

Type Parameter Key Value
PARAM_VALUE 0 s 4975686306281791488
PARAM_VALUE 0 s->buffer 4096-ptr_max
PARAM_VALUE 0 s->len 0
PARAM_VALUE 0 s->size 64
PARAM_VALUE 1 ha_mon 1-u64max
DATA_SOURCE 2 time_ns r ktime_get_ns
NOCHECK_CALL
LOCK2 rcu_read

kernel/trace/rv/monitors/stall/stall.c __ha_monitor_timer_callback() -> ha_get_env_string()

Type Parameter Key Value
PARAM_VALUE 0 s 5136655611630284800
PARAM_VALUE 0 s->buffer 4096-ptr_max
PARAM_VALUE 0 s->len 0
PARAM_VALUE 0 s->size 64
PARAM_VALUE 1 ha_mon 4096-ptr_max
PARAM_VALUE 2 time_ns 0
DATA_SOURCE 1 ha_mon $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read

kernel/trace/rv/monitors/stall/stall.c ha_monitor_handle_constraint() -> ha_get_env_string()

Type Parameter Key Value
PARAM_VALUE 0 s 1254155429198897152
PARAM_VALUE 0 s->buffer 4096-ptr_max
PARAM_VALUE 0 s->len 0
PARAM_VALUE 0 s->size 64
PARAM_VALUE 2 time_ns 0
NOCHECK_CALL