diff options
Diffstat (limited to 'sys/compat/linuxkpi/common/src')
| -rw-r--r-- | sys/compat/linuxkpi/common/src/linux_compat.c | 1 | ||||
| -rw-r--r-- | sys/compat/linuxkpi/common/src/linux_pci.c | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/sys/compat/linuxkpi/common/src/linux_compat.c b/sys/compat/linuxkpi/common/src/linux_compat.c index 9c73664..b8a0801 100644 --- a/sys/compat/linuxkpi/common/src/linux_compat.c +++ b/sys/compat/linuxkpi/common/src/linux_compat.c @@ -50,7 +50,6 @@ __FBSDID("$FreeBSD$"); #include <vm/pmap.h> #include <machine/stdarg.h> -#include <machine/pmap.h> #include <linux/kobject.h> #include <linux/device.h> diff --git a/sys/compat/linuxkpi/common/src/linux_pci.c b/sys/compat/linuxkpi/common/src/linux_pci.c index 74d4f77..0214e32 100644 --- a/sys/compat/linuxkpi/common/src/linux_pci.c +++ b/sys/compat/linuxkpi/common/src/linux_pci.c @@ -44,7 +44,6 @@ __FBSDID("$FreeBSD$"); #include <vm/pmap.h> #include <machine/stdarg.h> -#include <machine/pmap.h> #include <linux/kobject.h> #include <linux/device.h> |
