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