Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 5 files:

Smatch caller information:

kernel/trace/rv/monitors/wwnr/wwnr.c react() -> rv_react()

Type Parameter Key Value
PARAM_VALUE 0 monitor 1638829431089729536
PARAM_VALUE 1 msg 1074004272480436224
PARAM_VALUE 2 $ 5314759054684246016
BUF_SIZE 1 msg 52
BUF_SIZE 2 $ 5
BUF_SIZE 4 $ (-1),8
STR_LEN 0 monitor 51
STR_LEN 1 msg 4
TERMINATED 1 msg 1
TERMINATED 2 $ 1
NOCHECK_CALL

kernel/trace/rv/rv_monitors_test.c rv_test_dummy() -> rv_react()

Type Parameter Key Value
PARAM_VALUE 0 monitor 7260331973842669568
PARAM_VALUE 0 monitor->disable 0
PARAM_VALUE 0 monitor->enable 0
PARAM_VALUE 0 monitor->enabled 0
PARAM_VALUE 0 monitor->name 1561996156684910592
PARAM_VALUE 0 monitor->parent 0
PARAM_VALUE 0 monitor->react 706081876146860032
PARAM_VALUE 0 monitor->reactor 0
PARAM_VALUE 0 monitor->reset 0
PARAM_VALUE 0 monitor->root_d 0
PARAM_VALUE 1 msg 1561996156684910592
BUF_SIZE 1 msg 6
STR_LEN 0 monitor 5
TERMINATED 0 monitor->name 1
TERMINATED 1 msg 1
NOCHECK_CALL

kernel/trace/rv/monitors/nomiss/nomiss.c ha_react() -> rv_react()

Type Parameter Key Value
PARAM_VALUE 0 monitor 5870215565243867136
PARAM_VALUE 1 msg 2790942793887420416
PARAM_VALUE 2 $ 6312419926407409664
PARAM_VALUE 5 $ 4096-ptr_max
BUF_SIZE 1 msg 64
BUF_SIZE 2 $ 7
BUF_SIZE 3 $ (-1),5
BUF_SIZE 4 $ (-1),8
BUF_SIZE 5 $ s32min-(-2),1-s32max
BUF_SIZE 5 $ s32min-(-2),1-s32max
DATA_SOURCE 5 $ $2
STR_LEN 0 monitor 63
STR_LEN 1 msg 6
STR_LEN 2 $ (-1),4
TERMINATED 1 msg 1
TERMINATED 2 $ 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 5 $ unit_byte
LOCK2 rcu_read

kernel/trace/rv/monitors/nomiss/nomiss.c react() -> rv_react()

Type Parameter Key Value
PARAM_VALUE 0 monitor 5870215565243867136
PARAM_VALUE 1 msg 1074004272480436224
PARAM_VALUE 2 $ 6312419926407409664
BUF_SIZE 1 msg 52
BUF_SIZE 2 $ 7
BUF_SIZE 4 $ (-1),8
STR_LEN 0 monitor 51
STR_LEN 1 msg 6
TERMINATED 1 msg 1
TERMINATED 2 $ 1
NOCHECK_CALL
LOCK2 rcu_read

kernel/trace/rv/monitors/stall/stall.c ha_react() -> rv_react()

Type Parameter Key Value
PARAM_VALUE 0 monitor 6334467262794108928
PARAM_VALUE 1 msg 2790942793887420416
PARAM_VALUE 2 $ 8855412044194529280
PARAM_VALUE 5 $ 4096-ptr_max
BUF_SIZE 1 msg 64
BUF_SIZE 2 $ 6
BUF_SIZE 3 $ (-1),5
BUF_SIZE 4 $ (-1),8
BUF_SIZE 5 $ s32min-(-2),1-s32max
BUF_SIZE 5 $ s32min-(-2),1-s32max
DATA_SOURCE 5 $ $2
STR_LEN 0 monitor 63
STR_LEN 1 msg 5
STR_LEN 2 $ (-1),4
TERMINATED 1 msg 1
TERMINATED 2 $ 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 5 $ unit_byte
HALF_LOCKED2 rcu_read

kernel/trace/rv/monitors/stall/stall.c react() -> rv_react()

Type Parameter Key Value
PARAM_VALUE 0 monitor 6334467262794108928
PARAM_VALUE 1 msg 1074004272480436224
PARAM_VALUE 2 $ 8855412044194529280
BUF_SIZE 1 msg 52
BUF_SIZE 2 $ 6
BUF_SIZE 4 $ (-1),8
STR_LEN 0 monitor 51
STR_LEN 1 msg 5
TERMINATED 1 msg 1
TERMINATED 2 $ 1
NOCHECK_CALL

kernel/trace/rv/monitors/wip/wip.c react() -> rv_react()

Type Parameter Key Value
PARAM_VALUE 0 monitor 3355867084241821696
PARAM_VALUE 1 msg 1074004272480436224
PARAM_VALUE 2 $ 7160951588437090304
BUF_SIZE 1 msg 52
BUF_SIZE 2 $ 4
BUF_SIZE 4 $ (-1),8
STR_LEN 0 monitor 51
STR_LEN 1 msg 3
TERMINATED 1 msg 1
TERMINATED 2 $ 1
NOCHECK_CALL