1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef BOOT_CPUFLAGS_H
3 #define BOOT_CPUFLAGS_H
5 #include <asm/cpufeatures.h>
6 #include <asm/processor-flags.h>
9 int level
; /* Family, or 64 for x86-64 */
10 int family
; /* Family, always */
15 extern struct cpu_features cpu
;
16 extern u32 cpu_vendor
[3];
18 int has_eflag(unsigned long mask
);
19 void get_cpuflags(void);