Revision: linuxbios@linuxbios.org--devel/freebios--devel--2.0--patch-51
[coreboot.git] / src / arch / i386 / include / arch / cpu.h
index 0c5b0604adef99608387ea30cc6a1c3da6bcc375..4cdeded8bc590146dcb2facb4ee46d328e9ba9eb 100644 (file)
@@ -104,7 +104,7 @@ static inline unsigned int cpuid_edx(unsigned int op)
 #define X86_VENDOR_SIS       10 
 #define X86_VENDOR_UNKNOWN 0xff
 
-#ifndef __ROMCC__
+#if !defined( __ROMCC__ ) && defined( __GNUC__)
 #include <device/device.h>