diff --git a/sys/compat/linuxkpi/common/include/linux/cpufeature.h b/sys/compat/linuxkpi/common/include/linux/cpufeature.h --- a/sys/compat/linuxkpi/common/include/linux/cpufeature.h +++ b/sys/compat/linuxkpi/common/include/linux/cpufeature.h @@ -30,7 +30,13 @@ #ifndef _LINUXKPI_LINUX_CPUFEATURE_H_ #define _LINUXKPI_LINUX_CPUFEATURE_H_ -// #include +/* + * Linux includes the following header. We don't have it on FreeBSD yet, so + * let's comment this include for now. It is still referenced here because + * sometimes, consumers of headers rely voluntarily or not on the namespace + * pollution. + */ +/* #include */ #include #include