diff options
| author |   Luca Boccassi <luca.boccassi@gmail.com> | 2018-02-19 11:28:43 +0000 |
|---|---|---|
| committer | Luca Boccassi <luca.boccassi@gmail.com> | 2018-02-19 11:33:07 +0000 |
| commit | ddcc360d890bafd9086b1c943b225749c9b018b3 (patch) | |
| tree | 5c0431affc9262ba283e3f6c42e684a84fcfa758 /debian/librte-timer18.02.symbols | |
| parent | 9fa5ca7c2e9724a975b3c5d55ea4ea19b25585ac (diff) | |
Rename and update symbols file 17.11 -> 18.02
Change-Id: Ifdd2fc8182c1b2d0bbfee8339b95d17794fd3379
Signed-off-by: Luca Boccassi <luca.boccassi@gmail.com>
Diffstat (limited to 'debian/librte-timer18.02.symbols')
| -rw-r--r-- | debian/librte-timer18.02.symbols | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/debian/librte-timer18.02.symbols b/debian/librte-timer18.02.symbols new file mode 100644 index 00000000..adcb203c --- /dev/null +++ b/debian/librte-timer18.02.symbols @@ -0,0 +1,11 @@ +librte_timer.so.18.02 librte-timer18.02 #MINVER# + DPDK_2.0@DPDK_2.0 16.04 + rte_timer_dump_stats@DPDK_2.0 16.04 + rte_timer_init@DPDK_2.0 16.04 + rte_timer_manage@DPDK_2.0 16.04 + rte_timer_pending@DPDK_2.0 16.04 + rte_timer_reset@DPDK_2.0 16.04 + rte_timer_reset_sync@DPDK_2.0 16.04 + rte_timer_stop@DPDK_2.0 16.04 + rte_timer_stop_sync@DPDK_2.0 16.04 + rte_timer_subsystem_init@DPDK_2.0 16.04 |