Searched refs:data_append_integer (Results 1 – 1 of 1) sorted by relevance
420 $$.data = data_append_integer($1.data, $2, $1.bits);434 $$.data = data_append_integer($1.data, val, $1.bits);