{"name": "tv_cmp", "code": "__int64 __fastcall tv_cmp ( __int64 @@a1@@ , int @@a2@@ , __int64 @@a3@@ , int @@a4@@ ) { __int64 @@result@@ ; if ( @@a1@@ == @@a3@@ ) @@result@@ = ( unsigned int ) ( @@a2@@ - @@a4@@ ) ; else @@result@@ = ( unsigned int ) ( @@a1@@ - @@a3@@ ) ; return @@result@@ ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r16"}, {"n": "a4", "t": {"T": 1, "n": "int", "s": 4}, "location": "r24"}, {"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "int", "s": 4}, "location": "r64"}, {"n": "result", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}]}
{"name": "ospf_lsa_refresh_delay", "code": "__int64 __fastcall ospf_lsa_refresh_delay ( _QWORD * @@a1@@ ) { __int64 v1 ; __int64 v2 ; int v3 ; __int64 v4 ; __int64 v5 ; __int64 v6 ; __int64 v7 ; char * v8 ; struct timeval @@tv@@ ; __int64 @@v11@@ ; __int64 @@v12@@ ; unsigned int @@v13@@ ; @@v13@@ = Number ; gettimeofday ( & @@tv@@ , Number L ) ; @@v11@@ = tv_sub ( @@tv@@ . tv_sec , @@tv@@ . tv_usec , @@a1@@ [ Number ] , @@a1@@ [ Number ] ) ; @@v12@@ = v1 ; v2 = int2tv ( Number ) ; if ( ( int ) tv_cmp ( @@v11@@ , @@v12@@ , v2 , v3 ) < Number ) { v4 = int2tv ( Number ) ; v6 = tv_sub ( v4 , v5 , @@v11@@ , @@v12@@ ) ; @@v13@@ = tv_ceil ( v6 , v7 ) ; if ( ( term_debug_ospf_lsa & Number ) != Number ) { v8 = inet_ntoa ( * ( struct in_addr * ) ( @@a1@@ [ Number ] + Number L ) ) ; zlog_info ( String , * ( unsigned __int8 * ) ( @@a1@@ [ Number ] + Number L ) , v8 , @@v13@@ ) ; } if ( ( int ) @@v13@@ <= Number ) _assert_fail ( String , String , Number , String ) ; } return @@v13@@ ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "_QWORD"}, "location": "r56"}, {"n": "v13", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s20"}, {"n": "v12", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s40"}, {"n": "v11", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s48"}, {"n": "tv", "t": {"T": 6, "n": "struct timeval", "l": [{"T": 4, "n": "tv_sec", "t": "__time_t", "s": 8}, {"T": 4, "n": "tv_usec", "t": "__suseconds_t", "s": 8}]}, "location": "s64"}]}