diff options
author | Jean-Sébastien Pédron <dumbbell@FreeBSD.org> | 2023-01-20 17:50:39 +0000 |
---|---|---|
committer | Jean-Sébastien Pédron <dumbbell@FreeBSD.org> | 2023-02-16 11:55:17 +0000 |
commit | 46a8154651aab6abb03cba09e80882139ed466aa (patch) | |
tree | 8e7f465d25cdffe78fecc8e0143c49393dbc49b5 | |
parent | 0424ff9e19a6a424aad0bb76d5ed8bb33f832e42 (diff) | |
download | src-46a8154651aab6abb03cba09e80882139ed466aa.tar.gz src-46a8154651aab6abb03cba09e80882139ed466aa.zip |
linuxkpi: Add <linux/pgtable.h>
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
(cherry picked from commit 7649b89cc12696d540b20ad2f5896827b102225e)
-rw-r--r-- | sys/compat/linuxkpi/dummy/include/linux/pgtable.h | 0 |
1 files changed, 0 insertions, 0 deletions
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 000000000000..e69de29bb2d1 --- /dev/null +++ b/sys/compat/linuxkpi/dummy/include/linux/pgtable.h |