1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef _ASM_X86_BUGS_H
3#define _ASM_X86_BUGS_H
4
5#include <asm/processor.h>
6
7#if defined(CONFIG_CPU_SUP_INTEL) && defined(CONFIG_X86_32)
8int ppro_with_ram_bug(void);
9#else
10static inline int ppro_with_ram_bug(void) { return 0; }
11#endif
12
13extern void cpu_bugs_smt_update(void);
14
15#endif /* _ASM_X86_BUGS_H */
16