diff options
-rw-r--r-- | sys/amd64/include/smp.h | 2 | ||||
-rw-r--r-- | sys/i386/include/smp.h | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/sys/amd64/include/smp.h b/sys/amd64/include/smp.h index ef5e684..f2250ff 100644 --- a/sys/amd64/include/smp.h +++ b/sys/amd64/include/smp.h @@ -21,7 +21,7 @@ #if defined(SMP) && !defined(APIC_IO) # error APIC_IO required for SMP, add "options APIC_IO" to your config file. #endif /* SMP && !APIC_IO */ -#if defined(SMP) && defined(CPU_DISABLE_CMPXCHG) +#if defined(SMP) && defined(CPU_DISABLE_CMPXCHG) && !defined(COMPILING_LINT) #error SMP not supported with CPU_DISABLE_CMPXCHG #endif diff --git a/sys/i386/include/smp.h b/sys/i386/include/smp.h index ef5e684..f2250ff 100644 --- a/sys/i386/include/smp.h +++ b/sys/i386/include/smp.h @@ -21,7 +21,7 @@ #if defined(SMP) && !defined(APIC_IO) # error APIC_IO required for SMP, add "options APIC_IO" to your config file. #endif /* SMP && !APIC_IO */ -#if defined(SMP) && defined(CPU_DISABLE_CMPXCHG) +#if defined(SMP) && defined(CPU_DISABLE_CMPXCHG) && !defined(COMPILING_LINT) #error SMP not supported with CPU_DISABLE_CMPXCHG #endif |