diff --git a/sys/compat/linuxkpi/dummy/include/asm/cacheflush.h b/sys/compat/linuxkpi/dummy/include/asm/cacheflush.h
new file mode 100644
index 000000000000..e69de29bb2d1
diff --git a/sys/compat/linuxkpi/dummy/include/asm/tsc.h b/sys/compat/linuxkpi/dummy/include/asm/tsc.h
new file mode 100644
index 000000000000..e69de29bb2d1
diff --git a/sys/compat/linuxkpi/dummy/include/linux/time64.h b/sys/compat/linuxkpi/dummy/include/linux/time64.h
new file mode 100644
index 000000000000..e69de29bb2d1
diff --git a/sys/compat/linuxkpi/dummy/include/linux/util_macros.h b/sys/compat/linuxkpi/dummy/include/linux/util_macros.h
new file mode 100644
index 000000000000..e69de29bb2d1