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