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
This commit is contained in:
Jean-Sébastien Pédron 2023-01-20 18:50:39 +01:00
parent 25faccaaca
commit 7649b89cc1
No known key found for this signature in database
GPG Key ID: 39E99761A5FD94CC