cpuflags.c (498495dba268b20e8eadd7fe93c140c68b6cc9d2) cpuflags.c (f5ed777586e08e09c4b6f1e87161a145ee1431cf)
1// SPDX-License-Identifier: GPL-2.0
1// SPDX-License-Identifier: GPL-2.0
2#ifdef CONFIG_RANDOMIZE_BASE
3
4#include "../cpuflags.c"
5
6bool has_cpuflag(int flag)
7{
8 get_cpuflags();
9
10 return test_bit(flag, cpu.flags);
11}
2#include "../cpuflags.c"
3
4bool has_cpuflag(int flag)
5{
6 get_cpuflags();
7
8 return test_bit(flag, cpu.flags);
9}
12
13#endif