{"name": "packetbuf_hdrlen", "code": "__int64 packetbuf_hdrlen ( ) { __int64 @@result@@ ; if ( hdrptr == Number ) @@result@@ = ( unsigned __int16 ) bufptr ; else @@result@@ = ( unsigned __int8 ) ( Number - hdrptr ) ; return @@result@@ ; }", "source": [{"n": "result", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}]}
{"name": "packetbuf_totlen", "code": "__int64 packetbuf_totlen ( ) { int @@v0@@ ; @@v0@@ = ( unsigned __int8 ) packetbuf_hdrlen ( ) ; return @@v0@@ + ( unsigned int ) packetbuf_datalen ( ) ; }", "source": [{"n": "v0", "t": {"T": 1, "n": "int", "s": 4}, "location": "r32"}]}