> I noticed that Linux does not define anything for this macro (in aclinux.h) > > #define ACPI_FLUSH_CPU_CACHE() Confusing? Yes. A bug? No. aclinux.h is like like this: #ifdef __KERNEL__ #else /* !__KERNEL__ */ #define ACPI_FLUSH_CPU_CACHE() #endif /* __KERNEL__ */ ie. that dummy definition is only used in user-mode simulation on Linux. The real one is in arch/x86/include/asm/acpi.h: #define ACPI_FLUSH_CPU_CACHE() wbinvd() cheers, Len Brown, Intel Open Source Technology Center -- To unsubscribe from this list: send the line "unsubscribe linux-acpi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html