Re: [ACPI] Re: Linux 2.4.26-rc1 (cmpxchg vs 80386 build)

From: Andi Kleen
Date: Mon Mar 29 2004 - 00:33:34 EST

On 28 Mar 2004 23:49:15 -0500
Len Brown <len.brown@xxxxxxxxx> wrote:

> I'm open to suggestions on the right way to fix this.
> 1. recommend CONFIG_ACPI=n for 80386 build.
> 2. force CONFIG_ACPI=n for 80386 build.
> 3. invoke cmpxchg from acpi even for 80386 build.

I think (3) is best. Just define it always, even when the kernel is built for
i386. I considered it always a bug that cmpxchg was not defined in i386 builds.
The users of it just have to ensure it won't actually run on an i386 (by cpuid
or implicitely like ACPI does)

To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at
Please read the FAQ at