DPDK_18.05 {
global:
rte_ifpga_get_integer32_arg;
rte_ifpga_get_string_arg;
rte_ifpga_driver_register;
rte_ifpga_driver_unregister;
local: *;
};