Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/dhry_1.c Proc_1() -> Proc_7()

Type Parameter Key Value
PARAM_VALUE 0 Int_1_Par_Val 6
PARAM_VALUE 1 Int_2_Par_Val 10
PARAM_VALUE 2 *Int_Par_Ref 6
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/dhry_1.c Proc_3() -> Proc_7()

Type Parameter Key Value
PARAM_VALUE 0 Int_1_Par_Val 10
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/dhry_1.c dhry() -> Proc_7()

Type Parameter Key Value
PARAM_VALUE 0 Int_1_Par_Val 2
PARAM_VALUE 1 Int_2_Par_Val 3
PARAM_VALUE 2 Int_Par_Ref 5701691751748743168
PARAM_VALUE 2 *Int_Par_Ref 7
PARAM_COMPARE 0 Int_1_Par_Val < $1
PARAM_COMPARE 1 Int_2_Par_Val > $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL