2008-06-18 09:08:48 -06:00
|
|
|
#ifndef ASM_X86__BUGS_H
|
|
|
|
#define ASM_X86__BUGS_H
|
2007-10-15 05:57:47 -06:00
|
|
|
|
2008-01-30 05:34:10 -07:00
|
|
|
extern void check_bugs(void);
|
2008-08-05 03:45:19 -06:00
|
|
|
|
2008-09-09 17:40:37 -06:00
|
|
|
#if defined(CONFIG_CPU_SUP_INTEL) && defined(CONFIG_X86_32)
|
2008-02-04 08:48:04 -07:00
|
|
|
int ppro_with_ram_bug(void);
|
2008-08-05 03:45:19 -06:00
|
|
|
#else
|
|
|
|
static inline int ppro_with_ram_bug(void) { return 0; }
|
|
|
|
#endif
|
2007-10-15 05:57:47 -06:00
|
|
|
|
2008-06-18 09:08:48 -06:00
|
|
|
#endif /* ASM_X86__BUGS_H */
|