__ef4_tx_queue_get_insert_buffer
__ef4_tx_queue_get_insert_buffer(tx_queue);
buffer = __ef4_tx_queue_get_insert_buffer(tx_queue);