diff --git a/sys/amd64/include/ifunc.h b/sys/amd64/include/ifunc.h
new file mode 100644
index 00000000000..1af46757b83
--- /dev/null
+++ b/sys/amd64/include/ifunc.h
@@ -0,0 +1,5 @@
+/*
+ * This file is in the public domain.
+ */
+
+#include <x86/ifunc.h>
diff --git a/sys/i386/include/ifunc.h b/sys/i386/include/ifunc.h
new file mode 100644
index 00000000000..1af46757b83
--- /dev/null
+++ b/sys/i386/include/ifunc.h
@@ -0,0 +1,5 @@
+/*
+ * This file is in the public domain.
+ */
+
+#include <x86/ifunc.h>