DPDK_20.0 {
	global:

	rte_ifpga_driver_register;
	rte_ifpga_driver_unregister;
	rte_ifpga_find_afu_by_name;
	rte_ifpga_get_integer32_arg;
	rte_ifpga_get_string_arg;

	local: *;
};