18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */
28c2ecf20Sopenharmony_ci#ifndef _ASM_X86_BUGS_H
38c2ecf20Sopenharmony_ci#define _ASM_X86_BUGS_H
48c2ecf20Sopenharmony_ci
58c2ecf20Sopenharmony_ci#include <asm/processor.h>
68c2ecf20Sopenharmony_ci
78c2ecf20Sopenharmony_ci#if defined(CONFIG_CPU_SUP_INTEL) && defined(CONFIG_X86_32)
88c2ecf20Sopenharmony_ciint ppro_with_ram_bug(void);
98c2ecf20Sopenharmony_ci#else
108c2ecf20Sopenharmony_cistatic inline int ppro_with_ram_bug(void) { return 0; }
118c2ecf20Sopenharmony_ci#endif
128c2ecf20Sopenharmony_ci
138c2ecf20Sopenharmony_ciextern void cpu_bugs_smt_update(void);
148c2ecf20Sopenharmony_ci
158c2ecf20Sopenharmony_ci#endif /* _ASM_X86_BUGS_H */
16