{"name": "check_for_tcp_syn", "code": "__int64 check_for_tcp_syn ( ) { __int64 @@result@@ ; @@result@@ = * ( ( unsigned __int8 * ) & uip_aligned_buf + Number ) ; if ( ( _BYTE ) @@result@@ == Number ) { @@result@@ = * ( ( _BYTE * ) & uip_aligned_buf + Number ) & Number ; if ( ( * ( ( _BYTE * ) & uip_aligned_buf + Number ) & Number ) != Number ) @@result@@ = start_periodic_tcp_timer ( ) ; } return @@result@@ ; }", "source": [{"n": "result", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}]}
{"name": "start_periodic_tcp_timer", "code": "__int64 start_periodic_tcp_timer ( ) { __int64 @@result@@ ; @@result@@ = etimer_expired ( ( __int64 ) & periodic ) ; if ( ( _DWORD ) @@result@@ ) @@result@@ = etimer_restart ( ( __int64 ) & periodic ) ; return @@result@@ ; }", "source": [{"n": "result", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}]} {"name": "packet_input", "code": "__int64 packet_input ( ) { __int64 @@result@@ ; @@result@@ = ( unsigned __int16 ) uip_len ; if ( uip_len ) { check_for_tcp_syn ( ) ; uip_process ( Number ) ; @@result@@ = ( unsigned __int16 ) uip_len ; if ( uip_len ) @@result@@ = tcpip_ipv6_output ( ) ; } return @@result@@ ; }", "source": [{"n": "result", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}]}