From 7649b89cc12696d540b20ad2f5896827b102225e Mon Sep 17 00:00:00 2001 From: =?utf8?q?Jean-S=C3=A9bastien=20P=C3=A9dron?= Date: Fri, 20 Jan 2023 18:50:39 +0100 Subject: [PATCH] linuxkpi: Add For now, it's empty. It is included by the DRM drivers but nothing is missing otherwise. Perhaps something we already defined should be in `pgtable.h` instead of another header. Reviewed by: manu Approved by: manu Differential Revision: https://reviews.freebsd.org/D38153 --- sys/compat/linuxkpi/dummy/include/linux/pgtable.h | 0 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 sys/compat/linuxkpi/dummy/include/linux/pgtable.h diff --git a/sys/compat/linuxkpi/dummy/include/linux/pgtable.h b/sys/compat/linuxkpi/dummy/include/linux/pgtable.h new file mode 100644 index 00000000000..e69de29bb2d -- 2.45.2