From 7944ea9937f97857c51143cbd1151c546b26af79 Mon Sep 17 00:00:00 2001
From: PJ Aitken <pjaitken@gmail.com>
Date: Mon, 28 Jun 2021 16:38:44 +0100
Subject: [PATCH] Initial support for DPDK functions (#3313)

---
 cfg/dpdk.cfg | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 cfg/dpdk.cfg

diff --git a/cfg/dpdk.cfg b/cfg/dpdk.cfg
new file mode 100644
index 000000000..32ef8bcad
--- /dev/null
+++ b/cfg/dpdk.cfg
@@ -0,0 +1,11 @@
+<?xml version="1.0"?>
+<def format="2">
+  <function name="rte_panic">
+    <noreturn>true</noreturn>
+    <formatstr/>
+    <arg nr="1" direction="in">
+      <not-uninit/>
+      <formatstr/>
+    </arg>
+  </function>
+</def>